Improved Bounded Model Checking for the Universal Fragment of CTL.

Liang Xu Wei Chen Yanyan Xu Wenhui Zhang Improved Bounded Model Checking for the Universal Fragment of CTL. 96-109 2009 24 J. Comput. Sci. Technol. 1 http://dx.doi.org/10.1007/s11390-009-9208-5 db/journals/jcst/jcst24.html#XuCXZ09