Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo. Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. In Patricia M. Hill, editor, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Volume 3901 of Lecture Notes in Computer Science, pages 80-97, Springer, 2005. [doi]
Abstract is missing.