Logic Program Schemas, Constraints, and Semi-unification.

Eric Chasseur, Yves Deville

Browse the full LOPSTR paper archive.