Planning for distributed theorem proving the team work approach - Denzinger, Jörg; Kronenburg, Martin (Fachbereich Informatik, Univ. Kaiserslautern, 1994)