Publisher
Springer International Publishing
Reference32 articles.
1. Abadi, M.: The power of temporal proofs. Theor. Comput. Sci. 65(1), 35–83 (1989)
2. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 19–99. Elsevier and MIT Press (2001)
3. Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.): Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3. North-Holland (2007)
4. Bolotov, A., Fisher, M.: A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11(1), 77–93 (1999)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Weidenbach,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献