Efficient Compilation of Lazy Narrowing into Prolog. - José André Jimènez-Martin; Julio Mariño-Carballo; Juan José Moreno-Navarro (LOPSTR, 1992)