A unifying view of functional and logic program specialization | Publicación