Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Uniform semantic treatment of default and autoepistemic logic
KR, 2000.
@inproceedings{KR-2000-DeneckerMT, author = "Marc Denecker and V. Wiktor Marek and Miroslaw Truszczynski", booktitle = "{Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning}", pages = "74--84", publisher = "{Morgan Kaufmann}", title = "{Uniform semantic treatment of default and autoepistemic logic}", year = 2000, }