N-Prolog and equivalence of logic programs - Olivetti, Nicola (Kluwer Academic, 1992)