On the Relation Between Default and Autoepistemic Logic[J (0)

by K Konolige