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,
}