TY  - RPRT
TI  - Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
AU  - Claus-Peter Wirth
PY  - 2009
UR  - https://arxiv.org/abs/0902.3614
ID  - 0902.3614
ER  -