Shlomo Zilberstein François Charpillet Philippe Chassaing Optimal Sequencing of Contract Algorithms. 1-18 2003 39 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai39.html#ZilbersteinCC03