Logic Program Schemas, Constraints, and Semi-unification. - Eric Chasseur; Yves Deville (LOPSTR, 1997)