Iliano Cervesato. A Spreadsheet for Everyday Symbolic Reasoning. 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 1-8, AAAI Press, 2006. [doi]
Abstract is missing.