Constrained Term Rewriting tooL

@inproceedings{Kop2015ConstrainedTR,
  title={Constrained Term Rewriting tooL},
  author={Cynthia Kop and Naoki Nishida},
  booktitle={LPAR},
  year={2015}
}