Michael R. Genesereth Logical Spreadsheets. 1 2010 RuleML http://dx.doi.org/10.1007/978-3-642-16289-3_1 conf/ruleml/2010 db/conf/ruleml/ruleml2010.html#Genesereth10