Simple Termination is Difficult

@inproceedings{Middeldorp1993SimpleTI,
  title={Simple Termination is Difficult},
  author={Aart Middeldorp and Bernhard Gramlich},
  booktitle={RTA},
  year={1993}
}