Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs | Publicación