Specialization of prolog programs with partially static goals and binarization / von Ulrich Walther Neumerkel. 1992
Inhalt