Distributing equational theorem proving (1993)

by J Avenhaus, J Denzinger
Venue:Proc. RTA’93, LNCS 690