"Logic Program Specialisation: How To Be More Specific."

Michael Leuschel, Danny De Schreye (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics