Computing the extensions of autoepistemic and default logics with a truth maintenance systems (1991)

by U Junker, K Konolige
Venue:In Proc. of AAAI 90