Joseph Y. Halpern Sabina Petride A Knowledge-Based Analysis of Global Function Computation. 136-150 2006 conf/wdag/2006 DISC http://dx.doi.org/10.1007/11864219_10 db/conf/wdag/disc2006.html#HalpernP06