Autoepistemic logic (1991)

by V W Marek, M Truszczyński
Venue:J. ACM