Specialisation of a unification algorithm (1991)

by D A de Waal, J Gallagher
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR'91