Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems. Choueiry, B., McIlraith, S., Iwasaki, Y., Loeser, T., Neller, T., Engelmore, B., & Fikes., R. In Proceedings of the Twelfth International Workshop on Qualitative Reasoning (QR'98), pages 21-31, Cape Cod, Massachusetts, USA, May 26-29, 1998.
Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems [pdf]Paper  bibtex   

Downloads: 0