TY  - RPRT
TI  - Proving termination with transition invariants of height omega
AU  - Stefano Berardi
AU  - Paulo Oliva
AU  - Silvia Steila
PY  - 2014
UR  - https://arxiv.org/abs/1407.4692
ID  - 1407.4692
ER  -