Piero A. Bonatti Autoepistemic Logic Programming. 35-67 1994 13 J. Autom. Reasoning 1 db/journals/jar/jar13.html#Bonatti94