Teamwork - eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser