and Miroslaw Truszczyński. Autoepistemic logic (1991)

by Wiktor Marek
Venue:Journal of the Association for Computing Machinery