Order-sorted equational specification and completion (1991)

by H Chen, J Hsiang