P.: “Specialization of a Unification Algorithm (1992)

by D A de Waal, J Gallagher
Venue:In: T. Clement and K.-K. Lau (Eds.): Logic Program Synthesis and Transformation (Proc. Lopstr ’91), Workshops in Computing