@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}}