Generalized interpolation in CASL. (2000)

by T Borzyszkowski
Venue:Information Processing Letters,