@inproceedings{DBLP:conf/kr/HustadtS02,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Dieter Fensel and
                  Fausto Giunchiglia and
                  Deborah L. McGuinness and
                  Mary{-}Anne Williams},
  title        = {Scientific Benchmarking with Temporal Logic Decision Procedures},
  booktitle    = {Proceedings of the Eights International Conference on Principles and
                  Knowledge Representation and Reasoning (KR-02), Toulouse, France,
                  April 22-25, 2002},
  pages        = {533--546},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  timestamp    = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/HustadtS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wmQc9CbRN7Ypiduh5","bibbaseid":"hustadt-schmidt-scientificbenchmarkingwithtemporallogicdecisionprocedures-2002","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":["Dieter"],"propositions":[],"lastnames":["Fensel"],"suffixes":[]},{"firstnames":["Fausto"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]},{"firstnames":["Deborah","L."],"propositions":[],"lastnames":["McGuinness"],"suffixes":[]},{"firstnames":["Mary-Anne"],"propositions":[],"lastnames":["Williams"],"suffixes":[]}],"title":"Scientific Benchmarking with Temporal Logic Decision Procedures","booktitle":"Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002","pages":"533–546","publisher":"Morgan Kaufmann","year":"2002","timestamp":"Tue, 22 Jul 2003 15:20:23 +0200","biburl":"https://dblp.org/rec/conf/kr/HustadtS02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/HustadtS02,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Dieter Fensel and\n Fausto Giunchiglia and\n Deborah L. McGuinness and\n Mary{-}Anne Williams},\n title = {Scientific Benchmarking with Temporal Logic Decision Procedures},\n booktitle = {Proceedings of the Eights International Conference on Principles and\n Knowledge Representation and Reasoning (KR-02), Toulouse, France,\n April 22-25, 2002},\n pages = {533--546},\n publisher = {Morgan Kaufmann},\n year = {2002},\n timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},\n biburl = {https://dblp.org/rec/conf/kr/HustadtS02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"editor_short":["Fensel, D.","Giunchiglia, F.","McGuinness, D. L.","Williams, M."],"key":"DBLP:conf/kr/HustadtS02","id":"DBLP:conf/kr/HustadtS02","bibbaseid":"hustadt-schmidt-scientificbenchmarkingwithtemporallogicdecisionprocedures-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["scientific","benchmarking","temporal","logic","decision","procedures","hustadt","schmidt"],"title":"Scientific Benchmarking with Temporal Logic Decision Procedures","year":2002}