Between circumscription and autoepistemic logic (1989)

by V Lifschitz