Logic program schemas, semi-unification, and constraints (0)

by E Chasseur, Y Deville
Venue:In: N.E. Fuchs (ed), Proc. of LOPSTR'97 (this volume