A resolution calculus for the branching-time temporal logic CTL. Zhang, L., Hustadt, U., & Dixon, C. ACM Trans. Comput. Log., 15(1):10:1–10:38, 2014.
A resolution calculus for the branching-time temporal logic CTL [link]Paper  doi  bibtex   
@article{DBLP:journals/tocl/ZhangHD14,
  author    = {Lan Zhang and
               Ullrich Hustadt and
               Clare Dixon},
  title     = {A resolution calculus for the branching-time temporal logic {CTL}},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {15},
  number    = {1},
  pages     = {10:1--10:38},
  year      = {2014},
  url       = {https://doi.org/10.1145/2529993},
  doi       = {10.1145/2529993},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/ZhangHD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0