publicaciones seleccionadas artículo académico Towards a Standardized Social Responsibility Balance Sheet. TRANSPARENCY, INFORMATION AND COMMUNICATION TECHNOLOGY. 0:131-138. 2008 Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. LECTURE NOTES IN ARTIFICIAL INTELLINGENCE. 3789:119-131. 2005