@inproceedings{DBLP:conf/cade/HustadtKS05,
  author       = {Ullrich Hustadt and
                  Boris Konev and
                  Renate A. Schmidt},
  editor       = {Robert Nieuwenhuis},
  title        = {Deciding Monodic Fragments by Temporal Resolution},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_15},
  doi          = {10.1007/11532231\_15},
  timestamp    = {Sun, 02 Oct 2022 15:55:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SyfotBPDdgaNbxyDc","bibbaseid":"hustadt-konev-schmidt-decidingmonodicfragmentsbytemporalresolution-2005","author_short":["Hustadt, U.","Konev, B.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Nieuwenhuis"],"suffixes":[]}],"title":"Deciding Monodic Fragments by Temporal Resolution","booktitle":"Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings","series":"Lecture Notes in Computer Science","volume":"3632","pages":"204–218","publisher":"Springer","year":"2005","url":"https://doi.org/10.1007/11532231\\_15","doi":"10.1007/11532231_15","timestamp":"Sun, 02 Oct 2022 15:55:55 +0200","biburl":"https://dblp.org/rec/conf/cade/HustadtKS05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/HustadtKS05,\n author = {Ullrich Hustadt and\n Boris Konev and\n Renate A. Schmidt},\n editor = {Robert Nieuwenhuis},\n title = {Deciding Monodic Fragments by Temporal Resolution},\n booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated\n Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {3632},\n pages = {204--218},\n publisher = {Springer},\n year = {2005},\n url = {https://doi.org/10.1007/11532231\\_15},\n doi = {10.1007/11532231\\_15},\n timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},\n biburl = {https://dblp.org/rec/conf/cade/HustadtKS05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Konev, B.","Schmidt, R. A."],"editor_short":["Nieuwenhuis, R."],"key":"DBLP:conf/cade/HustadtKS05","id":"DBLP:conf/cade/HustadtKS05","bibbaseid":"hustadt-konev-schmidt-decidingmonodicfragmentsbytemporalresolution-2005","role":"author","urls":{"Paper":"https://doi.org/10.1007/11532231\\_15"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["deciding","monodic","fragments","temporal","resolution","hustadt","konev","schmidt"],"title":"Deciding Monodic Fragments by Temporal Resolution","year":2005}