Michael Kassoff André Valente An introduction to logical spreadsheets. 213-219 2007 22 Knowledge Eng. Review 3 http://dx.doi.org/10.1017/S0269888907001191 db/journals/ker/ker22.html#KassoffV07