Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs.

Piero A. Bonatti Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. 417-430 1992 JICSLP db/conf/iclp/iclp92.html#Bonatti92