Planning for distributed theorem proving the team work approach - Denzinger, Jörg; Kronenburg, Martin (Seki-Report, 1994)