Deductive Spreadsheets Using Tabled Logic Programming.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren

Browse the full ICLP paper archive.