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