A Logical Foundation for Logic Programming II: Semantics of General Logic Programs.

Alexander Bochman A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. 171-194 1998 35 J. Log. Program. 2 db/journals/jlp/jlp35.html#Bochman98a http://dx.doi.org/10.1016/S0743-1066(97)10006-1