@article{P111.229,
author={Tip, Frank and Furher, Robert M and Kiezun, Adam and Ernst, Michael D and Balaban, Ittai and De Sutter, Bjorn},
title={Refactoring using type constraints},
journal={ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS},
year={2011},
volume={33},
number={3},
pages={47},
}