Bertram Fronhöfer;Graham Wrightson
-;-
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence