@inproceedings{DBLP:conf/cade/HustadtS99,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Harald Ganzinger},
  title        = {Maslov's Class {K} Revisited},
  booktitle    = {Automated Deduction - CADE-16, 16th International Conference on Automated
                  Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1632},
  pages        = {172--186},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48660-7\_12},
  doi          = {10.1007/3-540-48660-7\_12},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"keYcJj7oBDCh9FYtR","bibbaseid":"hustadt-schmidt-maslovsclasskrevisited-1999","author_short":["Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Harald"],"propositions":[],"lastnames":["Ganzinger"],"suffixes":[]}],"title":"Maslov's Class K Revisited","booktitle":"Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings","series":"Lecture Notes in Computer Science","volume":"1632","pages":"172–186","publisher":"Springer","year":"1999","url":"https://doi.org/10.1007/3-540-48660-7\\_12","doi":"10.1007/3-540-48660-7_12","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/HustadtS99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/HustadtS99,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Harald Ganzinger},\n title = {Maslov's Class {K} Revisited},\n booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated\n Deduction, Trento, Italy, July 7-10, 1999, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1632},\n pages = {172--186},\n publisher = {Springer},\n year = {1999},\n url = {https://doi.org/10.1007/3-540-48660-7\\_12},\n doi = {10.1007/3-540-48660-7\\_12},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/HustadtS99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"editor_short":["Ganzinger, H."],"key":"DBLP:conf/cade/HustadtS99","id":"DBLP:conf/cade/HustadtS99","bibbaseid":"hustadt-schmidt-maslovsclasskrevisited-1999","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-48660-7\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["maslov","class","revisited","hustadt","schmidt"],"title":"Maslov's Class K Revisited","year":1999}