Extended Logic Programs as Autoepistemic Theories.

Vladimir Lifschitz Grigori Schwarz Extended Logic Programs as Autoepistemic Theories. 101-114 1993 LPNMR db/conf/lpnmr/lpnmr93.html#LifschitzS93