Detecting Looping Simplifications

@inproceedings{Purdom1987DetectingLS,
  title={Detecting Looping Simplifications},
  author={Paul Walton Purdom},
  booktitle={RTA},
  year={1987}
}