M.: Uniform semantic treatment of default and autoepistemic logics (2000)

by M Denecker, V W Marek, Truszczyński
Venue:Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning