N-Prolog and equivalence of logic programs - Olivetti, Nicola; Terracini, Lea (Netherlands : Kluwer Academic, 1992)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; PROGRAMACION (COMPUTADORAS ELECTRONICAS)