On the Autoepistemic Reconstruction of Logic Programming.

Y. J. Jiang On the Autoepistemic Reconstruction of Logic Programming. 107-124 1993 11 New Generation Comput. 2 db/journals/ngc/ngc11.html#Jiang93