Efficient Compilation of Lazy Narrowing into Prolog.

Jos Andr Jimnez-Martin, Julio Mario-Carballo, Juan Jos Moreno-Navarro

Browse the full LOPSTR paper archive.