Goal oriented equational theorem proving using team work (1994)

by J Denzinger, M Fuchs
Venue:In In Proc. of KI-94, volume 861 of LNAI