Translating default logic into standard autoepistemic logic (1995)

by G Gottlob
Venue:Journal of the ACM