Y. I. Jiang An Epistemic Model of Logic Programming. 33-59 1990 8 New Generation Comput. 1 db/journals/ngc/ngc8.html#Jiang90