Theory Unification in abstract clause graphs - Ohlbach, Hans Juergen (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1985)