A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types | Publicación