Uwe M. Borghoff Remo Pareschi Francesca Arcelli Fontana Ferrante Formato Constraint-Based Protocols for Distributed Problem Solving. 201-225 1998 30 Sci. Comput. Program. 1-2 db/journals/scp/scp30.html#BorghoffPAF98