TY  - RPRT
TI  - Elimination via saturation
AU  - Mohamed Barakat
AU  - Markus Lange-Hegermann
AU  - Sebastian Posur
PY  - 2020
UR  - https://arxiv.org/abs/1707.00925
ID  - 1707.00925
ER  -