@inproceedings{ sara98,
  title = {Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems}
}
,
  url = {sara98.pdf}
}
,
  booktitle = {Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98)}
}
,
  author = {Choueiry, B. and McIlraith, S. and Iwasaki, Y. and Loeser, T. and Neller, T. and Engelmore, B. and Fikes., R.}
}
,
  month = {May}
}
,
  year = {1998}
}
,
  pages = {25-36}
}