Teamwork: A method to design distributed knowledge based theorem provers (1993)

by J Denzinger