Peter Baumgartner, Ulrich Furbach
Calculi for Disjunctive Logic Programming
ICLP, 1997.
@inproceedings{ILPS-1997-BaumgartnerF, author = "Peter Baumgartner and Ulrich Furbach", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-63180-6", pages = "229--243", publisher = "{MIT Press}", title = "{Calculi for Disjunctive Logic Programming}", year = 1997, }