Abraham R. and Erwig M.2004 Header and unit inference for spreadsheets through spatial analyses. In IEEE International Symposium on Visual Languages and Human-Centric Computing, pp. 165–172.

Chalupsky H., MacGregor R. and Russ T.2006PowerLoom Manual, USC Information Sciences Institute. Available at www.isi.edu/isd/LOOM/PowerLoom.

Erwig M., Abraham R., Cooperstein I. and Kollmansberger S.2005 Automatic generation and maintenance of correct spreadsheets. In 27th IEEE International Conference on Software Engineering, pp. 136–145.

Erwig M. and Burnett M.2002 Adding apples and oranges. Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Vol. 2257 of LNCS, Springer, pp. 173–191.

Genesereth M.1991 Knowledge interchange format. In Allen J., Fikes R.and Sandewall E. (eds.), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Cambridge, MA, pp. 599–600.

MacGregor R.1994 A description classifier for the predicate calculus. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pp. 213–220.

Paine J.2004 Spreadsheet structure discovery with logic programming. In Proceedings of EuSpRIG 2004, Klagenfurt, Austria.

Spenke M. and Beilken C.1989 A spreadsheet interface for logic programming In Bice K. and Lewis C. (eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Wings For the Mind (CHI ’89), ACM Press, New York, NY, pp. 75–80.

Valente A., Russ T., MacGregor R. and Swartout W.1999Building and (re)using an ontology of air campaign planning. IEEE Intelligent Systems, 14(1):27–36.

Valente A. and Scacchi W.1999 Developing a knowledge web for business process redesign, In Proceedings of the IJCAI’99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business.

Witkowski A., Bellamkonda S., Bozkaya T., Dorman G., Folkert N., Gupta A., Shen L. and Subramanian S. (2003). Spreadsheets in rdbms for olap. In SIGMOD ’03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data, ACM Press, pp. 52–63.