Marcelo Tallis, Rand Waltzman, Bob Balzer. Adding Deductive Logic to a COTS Spreadsheet. In Michael Kassoff, editor, Integrating Reasoning into Everyday Applications, Papers from the 2006 AAAI Fall Symposium, Washington, DC, USA, October 13-15, 2006. Volume FS-06-04 of AAAI Technical Report, pages 22-29, AAAI Press, 2006. [doi]
Abstract is missing.