Eloy J. Mata Pedro Álvarez José A. Bañares Julio Rubio Formal Reasoning on a Web Coordination System. 329-336 2007 conf/eurocast/2007 EUROCAST http://dx.doi.org/10.1007/978-3-540-75867-9_42 db/conf/eurocast/eurocast2007.html#MataABR07