Experiments in partial deduction (1993)

by T Horv'ath
Venue:Departement Computerwetenschappen