Specialisation of a Unification Algorithm; Presented at LOPSTR'91 (1991)

by D A de Waal, J Gallagher