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