@article{ cho-iwa-mci-aij05,
  author = {Choueiry, B. and Iwasaki, Y. and McIlraith, S.}
}
,
  url = {cho-iwa-mci-aij05.pdf}
}
,
  journal = {Artificial Intelligence}
}
,
  title = {Towards a Practical Theory of Reformulation for Reasoning about Physical Systems}
}
,
  number = {1-2}
}
,
  month = {February}
}
,
  volume = {162}
}
,
  year = {2005}
}
,
  pages = {145-204}
}