On Logics and Semantics for General Logic Programs.

Alexander Bochman On Logics and Semantics for General Logic Programs. 37-56 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#Bochman96