Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs | Publicación