@article{DBLP:journals/logcom/Fisher97,
  author    = {Michael Fisher},
  title     = {A Normal Form for Temporal Logics and its Applications in Theorem-Proving
               and Execution},
  journal   = {J. Log. Comput.},
  volume    = {7},
  number    = {4},
  pages     = {429--456},
  year      = {1997},
  url       = {https://doi.org/10.1093/logcom/7.4.429},
  doi       = {10.1093/logcom/7.4.429},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/Fisher97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FBupSCniKSZDDoZ8e","bibbaseid":"fisher-anormalformfortemporallogicsanditsapplicationsintheoremprovingandexecution-1997","downloads":0,"creationDate":"2016-05-26T11:21:08.138Z","title":"A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution","author_short":["Fisher, M."],"year":1997,"bibtype":"article","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution","journal":"J. Log. Comput.","volume":"7","number":"4","pages":"429–456","year":"1997","url":"https://doi.org/10.1093/logcom/7.4.429","doi":"10.1093/logcom/7.4.429","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/logcom/Fisher97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/logcom/Fisher97,\n author = {Michael Fisher},\n title = {A Normal Form for Temporal Logics and its Applications in Theorem-Proving\n and Execution},\n journal = {J. Log. Comput.},\n volume = {7},\n number = {4},\n pages = {429--456},\n year = {1997},\n url = {https://doi.org/10.1093/logcom/7.4.429},\n doi = {10.1093/logcom/7.4.429},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/logcom/Fisher97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisher, M."],"key":"DBLP:journals/logcom/Fisher97","id":"DBLP:journals/logcom/Fisher97","bibbaseid":"fisher-anormalformfortemporallogicsanditsapplicationsintheoremprovingandexecution-1997","role":"author","urls":{"Paper":"https://doi.org/10.1093/logcom/7.4.429"},"downloads":0,"html":""},"search_terms":["normal","form","temporal","logics","applications","theorem","proving","execution","fisher"],"keywords":["dblp"],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}