@inproceedings{DBLP:conf/cade/HustadtND18,
  author       = {Ullrich Hustadt and
                  Cl{\'{a}}udia Nalon and
                  Clare Dixon},
  editor       = {Boris Konev and
                  Josef Urban and
                  Philipp R{\"{u}}mmer},
  title        = {Evaluating Pre-Processing Techniques for the Separated Normal Form
                  for Temporal Logics},
  booktitle    = {Proceedings of the 6th Workshop on Practical Aspects of Automated
                  Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
                  Oxford, UK, July 19th, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2162},
  pages        = {34--48},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2162/paper-04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtND18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8RSead67WZmqt992h","bibbaseid":"hustadt-nalon-dixon-evaluatingpreprocessingtechniquesfortheseparatednormalformfortemporallogics-2018","downloads":0,"creationDate":"2018-12-06T15:06:14.227Z","title":"Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics","author_short":["Hustadt, U.","Nalon, C.","Dixon, C."],"year":2018,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"editor":[{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Josef"],"propositions":[],"lastnames":["Urban"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Rümmer"],"suffixes":[]}],"title":"Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics","booktitle":"Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018","series":"CEUR Workshop Proceedings","volume":"2162","pages":"34–48","publisher":"CEUR-WS.org","year":"2018","url":"https://ceur-ws.org/Vol-2162/paper-04.pdf","timestamp":"Fri, 10 Mar 2023 16:23:14 +0100","biburl":"https://dblp.org/rec/conf/cade/HustadtND18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/HustadtND18,\n author = {Ullrich Hustadt and\n Cl{\\'{a}}udia Nalon and\n Clare Dixon},\n editor = {Boris Konev and\n Josef Urban and\n Philipp R{\\\"{u}}mmer},\n title = {Evaluating Pre-Processing Techniques for the Separated Normal Form\n for Temporal Logics},\n booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated\n Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),\n Oxford, UK, July 19th, 2018},\n series = {{CEUR} Workshop Proceedings},\n volume = {2162},\n pages = {34--48},\n publisher = {CEUR-WS.org},\n year = {2018},\n url = {https://ceur-ws.org/Vol-2162/paper-04.pdf},\n timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},\n biburl = {https://dblp.org/rec/conf/cade/HustadtND18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Nalon, C.","Dixon, C."],"editor_short":["Konev, B.","Urban, J.","Rümmer, P."],"key":"DBLP:conf/cade/HustadtND18","id":"DBLP:conf/cade/HustadtND18","bibbaseid":"hustadt-nalon-dixon-evaluatingpreprocessingtechniquesfortheseparatednormalformfortemporallogics-2018","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-2162/paper-04.pdf"},"metadata":{"authorlinks":{"hustadt, u":"https://intranet.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["evaluating","pre","processing","techniques","separated","normal","form","temporal","logics","hustadt","nalon","dixon"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend","WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"]}