@inproceedings{DBLP:conf/time/BolotovF97,
  author    = {Alexander Bolotov and
               Michael Fisher},
  title     = {A Resolution Method For {CTL} Branching-Time Temporal Logic},
  booktitle = {4th International Workshop on Temporal Representation and Reasoning,
               {TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},
  pages     = {20--27},
  year      = {1997},
  crossref  = {DBLP:conf/time/1997},
  url       = {https://doi.org/10.1109/TIME.1997.600777},
  doi       = {10.1109/TIME.1997.600777},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/BolotovF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5A57souowe3dSu2QY","bibbaseid":"bolotov-fisher-aresolutionmethodforctlbranchingtimetemporallogic-1997","downloads":0,"creationDate":"2016-05-26T11:21:07.669Z","title":"A Resolution Method For CTL Branching-Time Temporal Logic","author_short":["Bolotov, A.","Fisher, M."],"year":1997,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alexander"],"propositions":[],"lastnames":["Bolotov"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"A Resolution Method For CTL Branching-Time Temporal Logic","booktitle":"4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997","pages":"20–27","year":"1997","crossref":"DBLP:conf/time/1997","url":"https://doi.org/10.1109/TIME.1997.600777","doi":"10.1109/TIME.1997.600777","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/time/BolotovF97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/time/BolotovF97,\n author = {Alexander Bolotov and\n Michael Fisher},\n title = {A Resolution Method For {CTL} Branching-Time Temporal Logic},\n booktitle = {4th International Workshop on Temporal Representation and Reasoning,\n {TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},\n pages = {20--27},\n year = {1997},\n crossref = {DBLP:conf/time/1997},\n url = {https://doi.org/10.1109/TIME.1997.600777},\n doi = {10.1109/TIME.1997.600777},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/time/BolotovF97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bolotov, A.","Fisher, M."],"key":"DBLP:conf/time/BolotovF97","id":"DBLP:conf/time/BolotovF97","bibbaseid":"bolotov-fisher-aresolutionmethodforctlbranchingtimetemporallogic-1997","role":"author","urls":{"Paper":"https://doi.org/10.1109/TIME.1997.600777"},"downloads":0,"html":""},"search_terms":["resolution","method","ctl","branching","time","temporal","logic","bolotov","fisher"],"keywords":["dblp"],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}