Iliano Cervesato NEXCEL, a deductive spreadsheet. 221-236 2007 22 Knowledge Eng. Review 3 http://dx.doi.org/10.1017/S0269888907001142 db/journals/ker/ker22.html#Cervesato07