Goal oriented equational theorem proving using team work - Denzinger, Jörg; Fuchs, Matthias (Seki-Report, 1994)