Distributed knowledge-based deduction using the team work method - Denzinger, Jörg (Fachbereich Informatik, Univ. Kaiserslautern, 1991)