Enhancing Partial Deduction via Unfold/Fold Rules.

Alberto PettorossiMaurizio ProiettiSophie Renault
Published in: LOPSTR (1996)
Keyphrases