Alberto Pettorossi Maurizio Proietti Sophie Renault Reducing Nondeterminism while Specializing Logic Programs. 414-427 1997 POPL db/conf/popl/popl97.html#PettorossiPR97 http://doi.acm.org/10.1145/263699.263759