TY  - RPRT
TI  - Automated Synthesis of a Finite Complexity Ordering for Saturation
AU  - Yannick Chevalier
AU  - Mounira Kourjieh
PY  - 2012
UR  - https://arxiv.org/abs/1203.2809
ID  - 1203.2809
ER  -