@inproceedings{DBLP:conf/frocos/HustadtDSF00,
  author       = {Ullrich Hustadt and
                  Clare Dixon and
                  Renate A. Schmidt and
                  Michael Fisher},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
  booktitle    = {Frontiers of Combining Systems, Third International Workshop, FroCoS
                  2000, Nancy, France, March 22-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1794},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720084\_6},
  doi          = {10.1007/10720084\_6},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/HustadtDSF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"P7MDL43MDwFCXfNhE","bibbaseid":"hustadt-dixon-schmidt-fisher-normalformsandproofsincombinedmodalandtemporallogics-2000","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"editor":[{"firstnames":["Hélène"],"propositions":[],"lastnames":["Kirchner"],"suffixes":[]},{"firstnames":["Christophe"],"propositions":[],"lastnames":["Ringeissen"],"suffixes":[]}],"title":"Normal Forms and Proofs in Combined Modal and Temporal Logics","booktitle":"Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings","series":"Lecture Notes in Computer Science","volume":"1794","pages":"73–87","publisher":"Springer","year":"2000","url":"https://doi.org/10.1007/10720084\\_6","doi":"10.1007/10720084_6","timestamp":"Tue, 14 May 2019 10:00:51 +0200","biburl":"https://dblp.org/rec/conf/frocos/HustadtDSF00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/frocos/HustadtDSF00,\n author = {Ullrich Hustadt and\n Clare Dixon and\n Renate A. Schmidt and\n Michael Fisher},\n editor = {H{\\'{e}}l{\\`{e}}ne Kirchner and\n Christophe Ringeissen},\n title = {Normal Forms and Proofs in Combined Modal and Temporal Logics},\n booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS\n 2000, Nancy, France, March 22-24, 2000, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1794},\n pages = {73--87},\n publisher = {Springer},\n year = {2000},\n url = {https://doi.org/10.1007/10720084\\_6},\n doi = {10.1007/10720084\\_6},\n timestamp = {Tue, 14 May 2019 10:00:51 +0200},\n biburl = {https://dblp.org/rec/conf/frocos/HustadtDSF00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M."],"editor_short":["Kirchner, H.","Ringeissen, C."],"key":"DBLP:conf/frocos/HustadtDSF00","id":"DBLP:conf/frocos/HustadtDSF00","bibbaseid":"hustadt-dixon-schmidt-fisher-normalformsandproofsincombinedmodalandtemporallogics-2000","role":"author","urls":{"Paper":"https://doi.org/10.1007/10720084\\_6"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["normal","forms","proofs","combined","modal","temporal","logics","hustadt","dixon","schmidt","fisher"],"title":"Normal Forms and Proofs in Combined Modal and Temporal Logics","year":2000}