Generalization and program schemata (1989)

by Yves Deville, Jean Burnay
Venue:In E.L. Lusk and R.A. Overbeek (eds), Proc. of NACLP’89