@InProceedings{Cervesato06aaai,
  title        = "{A Spreadsheet for Everyday Symbolic Reasoning}",
  author       = "Iliano Cervesato",
  booktitle    = "AAAI 2006 Fall Symposium on Integrating Reasoning into 
                  Everyday Applications --- EVERYDAY'06",
  pages        = "1--8",
  editor       = "M. Kassoff and H. Stuckenschmidt and A. Valente and M. 
                  Witbrock",
  address      = "Arlington, VA",
  publisher    = "Technical Report FS-06-04 (AAAI Press)",
  year         = "2006",
  month        = "14 October"
}