Logic Program Schemas, Constraints and Semi-Unification (1998)

by Eric Chasseur, Yves Deville
Venue:In Proc. of LOPSTR’97, volume 1463 of LNCS