Efficient Compilation of Lazy Narrowing into Prolog | Publicación