TY  - RPRT
TI  - Complexity of Conditional Term Rewriting
AU  - Cynthia Kop
AU  - Aart Middeldorp
AU  - Thomas Sternagel
PY  - 2017
DO  - 10.23638/lmcs-13(1:6)2017
UR  - https://arxiv.org/abs/1510.07276
ID  - 1510.07276
ER  -