1. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: a technique to pass information between verifiers. In: Tracz, W., Robillard, M.P., Bultan, T. (eds.) 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE 2012, Cary. 11–16 November 2012, pp. 57:1–57:11. ACM (2012). http://doi.acm.org/10.1145/2393596.2393664
2. Lecture Notes in Computer Science;G Bruns,1999
3. Lecture Notes in Computer Science;E Clarke,2005
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);EA Emerson,2000
5. Fitting, M.: Kleene’s three valued logics and their children. Fundamenta Informaticae 20(1/2/3), 113–131 (1994). http://dx.doi.org/10.3233/FI-1994-201234