Your search returned the following document:

1. On Using Ground Joinable Equations in Equational Theorem Proving
   Jürgen Avenhaus, Thomas Hillenbrand, and Bernd Löchner
   Journal of Symbolic Computation 36 (1-2): 217-233, 2003
   [PS: Download: gjoin.ps]