Suda, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1307.4966.pdf (Preprint), 241KB
Suda, M. (2013). Triggered Clause Pushing for IC3. Retrieved from http://arxiv.org/abs/1307.4966.