Michael Fisher Michael Wooldridge Distributed Problem-Solving as Concurrent Theorem Proving. 128-140 1997 conf/maamaw/1997 MAAMAW db/conf/maamaw/maamaw1997.html#FisherW97