@article{Choueiry:2005,
  author =       {Berthe Y. Choueiry and Yumi Iwasaki and Sheila McIlraith},
  title =        {{Towards a Practical Theory of Reformulation for Reasoning About Physical Systems}},
  Journal =    {Artificial Intelligence},
  year =         2005,
  pages =        {145--204},
  editor =       {Thomas Ellman and Fausto Giunchiglia},
  volume =       {162 (1--2)};
  note =       {Special Issue on Abstraction}}