"Reducing Nondeterminism while Specializing Logic Programs."

Alberto Pettorossi, Maurizio Proietti, Sophie Renault (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics