Kaiser, A., Kroening, D., Wahl, T., & Koutny, M. (2012). Efficient coverability analysis by proof minimization. Springer.

Kaiser, A., D. Kroening, T. Wahl, and M. Koutny. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.

Kaiser, A., et al. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.