John W. Lloyd Kee Siong Ng Reflections on Agent Beliefs. 122-139 2007 conf/dalt/2007 DALT http://dx.doi.org/10.1007/978-3-540-77564-5_8 db/conf/dalt/dalt2007.html#LloydN07