Teamwork eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser - Denzinger, Jörg (1993)