Reducing nondeterminism while specializing logic programs (1997)

by A Pettorossi, M Proietti, S Renault
Venue:In Proceedings of POPL