Jürgen Dix, Martin Müller
An Axiomatic Approach to Semantics of Disjunctive Programs
ICLP, 1994.
@inproceedings{ICLP-1994-DixM, author = "Jürgen Dix and Martin Müller", booktitle = "{Proceedings of the 11th International Conference on Logic Programming}", isbn = "0-262-72022-1", pages = "303--320", publisher = "{MIT Press}", title = "{An Axiomatic Approach to Semantics of Disjunctive Programs}", year = 1994, }