TY  - RPRT
TI  - Triggered Clause Pushing for IC3
AU  - Martin Suda
PY  - 2013
UR  - https://arxiv.org/abs/1307.4966
ID  - 1307.4966
ER  -