N-Prolog and equivalence of logic programs

Nicola Olivetti, Lea Terracini. N-Prolog and equivalence of logic programs. Journal of Logic, Language and Information, 1(4):253-340, 1992. [doi]

Abstract

Abstract is missing.