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. Journal of Logic and Algebraic Programming, 35(2):171-194, 1998.

Abstract

Abstract is missing.