Dov M. Gabbay, Els Laenens, Dirk Vermeir
Credulous vs. Sceptical Semantics for Ordered Logic Programs
KR, 1991.
@inproceedings{KR-1991-GabbayLV, author = "Dov M. Gabbay and Els Laenens and Dirk Vermeir", booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}", isbn = "1-55860-165-1", pages = "208--217", publisher = "{Morgan Kaufmann}", title = "{Credulous vs. Sceptical Semantics for Ordered Logic Programs}", year = 1991, }