Distributed knowledge-based deduction using the team work - Denzinger, Jörg (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1991)