Lazy Narrowing on an Abstract Machine by Means of Examples. - Eva Ullán (GULP-PRODE, 1995)

Real Constraints within a Functional Logic Language. - Puri Arenas-Sánchez; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Eva Ullán (APPIA-GULP-PRODE, 1996)

An abstract machine based experimental system for a lazy narrowing calculus. - Maria Teresa Hortalá-González; Eva Ullán (WFLP, 2000)

An Abstract Machine Based System for a Lazy Narrowing Calculus. - Maria Teresa Hortalá-González; Eva Ullán (FLOPS, 2001)