An Abstract Machine Based System for a Lazy Narrowing Calculus | Publicación