Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

Claudio Ochoa Germán Puebla Manuel V. Hermenegildo Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. 80-97 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_6 db/conf/lopstr/lopstr2005.html#OchoaPH05