Distributing equational theorem proving - Avenhaus, Jürgen; Denzinger, Jörg (Univ., Fachbereich Informatik, 1993)