Translating default logic into standard autoepistemic logic (1995)

by G Gottlob
Venue:J. ACM