@inproceedings{DBLP:conf/ijcai/HustadtS97,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  title        = {On Evaluating Decision Procedures for Modal Logic},
  booktitle    = {Proceedings of the Fifteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages        = {202--209},
  publisher    = {Morgan Kaufmann},
  year         = {1997},
  url          = {http://ijcai.org/Proceedings/97-1/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HustadtS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"c5Qs2hXe7gmMQKE9e","bibbaseid":"hustadt-schmidt-onevaluatingdecisionproceduresformodallogic-1997","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":[]}],"title":"On Evaluating Decision Procedures for Modal Logic","booktitle":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes","pages":"202–209","publisher":"Morgan Kaufmann","year":"1997","url":"http://ijcai.org/Proceedings/97-1/Papers/033.pdf","timestamp":"Tue, 20 Aug 2019 16:17:27 +0200","biburl":"https://dblp.org/rec/conf/ijcai/HustadtS97.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/HustadtS97,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n title = {On Evaluating Decision Procedures for Modal Logic},\n booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial\n Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},\n pages = {202--209},\n publisher = {Morgan Kaufmann},\n year = {1997},\n url = {http://ijcai.org/Proceedings/97-1/Papers/033.pdf},\n timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/HustadtS97.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"key":"DBLP:conf/ijcai/HustadtS97","id":"DBLP:conf/ijcai/HustadtS97","bibbaseid":"hustadt-schmidt-onevaluatingdecisionproceduresformodallogic-1997","role":"author","urls":{"Paper":"http://ijcai.org/Proceedings/97-1/Papers/033.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["evaluating","decision","procedures","modal","logic","hustadt","schmidt"],"title":"On Evaluating Decision Procedures for Modal Logic","year":1997}