Skip to content

Reducing Nondeterminism while Specializing Logic Programs.

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

VenueA*POPL
Year1997
ProceedingsPOPL

Browse the full POPL paper archive.