Belief, Provability, and Logic Programs.

José Júlio Alferes Luís Moniz Pereira Belief, Provability, and Logic Programs. 106-121 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#AlferesP94 http://dx.doi.org/10.1007/BFb0021967