TY  - RPRT
TI  - Runtime Complexity Analysis of Logically Constrained Rewriting
AU  - Sarah Winkler
AU  - Georg Moser
PY  - 2020
UR  - https://arxiv.org/abs/2012.06370
ID  - 2012.06370
ER  -