C. R. Ramakrishnan I. V. Ramakrishnan David Scott Warren XcelLog: a deductive spreadsheet system. 269-279 2007 22 Knowledge Eng. Review 3 http://dx.doi.org/10.1017/S026988890700118X db/journals/ker/ker22.html#RamakrishnanRW07