Distributed knowledge-based deduction using the team work method - Denzinger, Jörg (Seki-Report, 1991)