@inproceedings{conf/dsp/YamamotoF02,
  added-at = {2017-05-26T00:00:00.000+0200},
  author = {Yamamoto, Akihiro and Fronhöfer, Bertram},
  biburl = {https://www.bibsonomy.org/bibtex/22ab5bd93f7b07cc6125467d721074963/dblp},
  booktitle = {Progress in Discovery Science},
  crossref = {conf/dsp/2002},
  editor = {Arikawa, Setsuo and Shinohara, Ayumi},
  ee = {https://doi.org/10.1007/3-540-45884-0_16},
  interhash = {3851756c94257046e991d862818c8a4a},
  intrahash = {2ab5bd93f7b07cc6125467d721074963},
  isbn = {3-540-43338-4},
  keywords = {dblp},
  pages = {246-257},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T17:56:17.000+0200},
  title = {A Theory of Hypothesis Finding in Clausal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/dsp/dsp2002.html#YamamotoF02},
  volume = 2281,
  year = 2002
}

{"_id":"RvsNQZM3pRBYoAKYk","bibbaseid":"yamamoto-fronhfer-atheoryofhypothesisfindinginclausallogic-2002","authorIDs":[],"author_short":["Yamamoto, A.","Fronhöfer, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-26T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Yamamoto"],"firstnames":["Akihiro"],"suffixes":[]},{"propositions":[],"lastnames":["Fronhöfer"],"firstnames":["Bertram"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22ab5bd93f7b07cc6125467d721074963/dblp","booktitle":"Progress in Discovery Science","crossref":"conf/dsp/2002","editor":[{"propositions":[],"lastnames":["Arikawa"],"firstnames":["Setsuo"],"suffixes":[]},{"propositions":[],"lastnames":["Shinohara"],"firstnames":["Ayumi"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-45884-0_16","interhash":"3851756c94257046e991d862818c8a4a","intrahash":"2ab5bd93f7b07cc6125467d721074963","isbn":"3-540-43338-4","keywords":"dblp","pages":"246-257","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T17:56:17.000+0200","title":"A Theory of Hypothesis Finding in Clausal Logic.","url":"http://dblp.uni-trier.de/db/conf/dsp/dsp2002.html#YamamotoF02","volume":"2281","year":"2002","bibtex":"@inproceedings{conf/dsp/YamamotoF02,\n added-at = {2017-05-26T00:00:00.000+0200},\n author = {Yamamoto, Akihiro and Fronhöfer, Bertram},\n biburl = {https://www.bibsonomy.org/bibtex/22ab5bd93f7b07cc6125467d721074963/dblp},\n booktitle = {Progress in Discovery Science},\n crossref = {conf/dsp/2002},\n editor = {Arikawa, Setsuo and Shinohara, Ayumi},\n ee = {https://doi.org/10.1007/3-540-45884-0_16},\n interhash = {3851756c94257046e991d862818c8a4a},\n intrahash = {2ab5bd93f7b07cc6125467d721074963},\n isbn = {3-540-43338-4},\n keywords = {dblp},\n pages = {246-257},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T17:56:17.000+0200},\n title = {A Theory of Hypothesis Finding in Clausal Logic.},\n url = {http://dblp.uni-trier.de/db/conf/dsp/dsp2002.html#YamamotoF02},\n volume = 2281,\n year = 2002\n}\n\n","author_short":["Yamamoto, A.","Fronhöfer, B."],"editor_short":["Arikawa, S.","Shinohara, A."],"key":"conf/dsp/YamamotoF02","id":"conf/dsp/YamamotoF02","bibbaseid":"yamamoto-fronhfer-atheoryofhypothesisfindinginclausallogic-2002","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-45884-0_16","Paper":"http://dblp.uni-trier.de/db/conf/dsp/dsp2002.html#YamamotoF02"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:53.104Z","downloads":0,"keywords":["dblp"],"search_terms":["theory","hypothesis","finding","clausal","logic","yamamoto","fronhöfer"],"title":"A Theory of Hypothesis Finding in Clausal Logic.","year":2002,"dataSources":["fYGRSD8HXJYwZPaY7"]}