Autoepistemic logic (1991)

by V W Marek, M Truszczyński
Venue:Journal of the Association of Computing Machinery