Completeness of many sorted equational deduction (1985)

by J A Goguen, J Meseguer
Venue:Houston J. of Mathematics