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 Symposium on Abstraction, Reformulation and Approximation (SARA-98), pages 25-36, May, 1998.
Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems [pdf]Paper  bibtex   
@InProceedings{sara98,
  Title                    = {Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems},
  Author                   = {Choueiry, B. and McIlraith, S. and Iwasaki, Y. and Loeser, T. and Neller, T. and Engelmore, B. and Fikes., R.},
  Booktitle                = {Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98)},
  Year                     = {1998},
  Month                    = {May},
  Pages                    = {25-36},

  Timestamp                = {2018.09.23},
  Url                      = {sara98.pdf}
}
Downloads: 0