Order-sorted equational computation (1989)

by G Smolka, W Nutt, J Goguen, J Meseguer
Venue:In Maurice Nivat and Hassan Aït-Kaci, editors, Resolution of Equations in Algebraic Structures