@inproceedings{journals/corr/JoostenKU14,
  added-at = {2018-09-12T00:00:00.000+0200},
  author = {Joosten, Sebastiaan J. C. and Kaliszyk, Cezary and Urban, Josef},
  biburl = {https://www.bibsonomy.org/bibtex/2ebb17dacad91bcf9d87420a0cbea6645/dblp},
  booktitle = {ACL2},
  crossref = {journals/corr/VerbeekS14},
  editor = {Verbeek, Freek and Schmaltz, Julien},
  ee = {http://arxiv.org/abs/1406.1559},
  interhash = {e3da3d42cda54cf43f669cdddda150f0},
  intrahash = {ebb17dacad91bcf9d87420a0cbea6645},
  keywords = {dblp},
  pages = {77-85},
  series = {EPTCS},
  timestamp = {2018-09-13T11:41:34.000+0200},
  title = {Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14},
  volume = 152,
  year = 2014
}

{"_id":"uDPp9MThmLmjTEEc5","bibbaseid":"joosten-kaliszyk-urban-initialexperimentswithtptpstyleautomatedtheoremproversonacl2problems-2014","authorIDs":[],"author_short":["Joosten, S. J. C.","Kaliszyk, C.","Urban, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-09-12T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Kaliszyk"],"firstnames":["Cezary"],"suffixes":[]},{"propositions":[],"lastnames":["Urban"],"firstnames":["Josef"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ebb17dacad91bcf9d87420a0cbea6645/dblp","booktitle":"ACL2","crossref":"journals/corr/VerbeekS14","editor":[{"propositions":[],"lastnames":["Verbeek"],"firstnames":["Freek"],"suffixes":[]},{"propositions":[],"lastnames":["Schmaltz"],"firstnames":["Julien"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1406.1559","interhash":"e3da3d42cda54cf43f669cdddda150f0","intrahash":"ebb17dacad91bcf9d87420a0cbea6645","keywords":"dblp","pages":"77-85","series":"EPTCS","timestamp":"2018-09-13T11:41:34.000+0200","title":"Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14","volume":"152","year":"2014","bibtex":"@inproceedings{journals/corr/JoostenKU14,\n added-at = {2018-09-12T00:00:00.000+0200},\n author = {Joosten, Sebastiaan J. C. and Kaliszyk, Cezary and Urban, Josef},\n biburl = {https://www.bibsonomy.org/bibtex/2ebb17dacad91bcf9d87420a0cbea6645/dblp},\n booktitle = {ACL2},\n crossref = {journals/corr/VerbeekS14},\n editor = {Verbeek, Freek and Schmaltz, Julien},\n ee = {http://arxiv.org/abs/1406.1559},\n interhash = {e3da3d42cda54cf43f669cdddda150f0},\n intrahash = {ebb17dacad91bcf9d87420a0cbea6645},\n keywords = {dblp},\n pages = {77-85},\n series = {EPTCS},\n timestamp = {2018-09-13T11:41:34.000+0200},\n title = {Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14},\n volume = 152,\n year = 2014\n}\n\n","author_short":["Joosten, S. J. C.","Kaliszyk, C.","Urban, J."],"editor_short":["Verbeek, F.","Schmaltz, J."],"key":"journals/corr/JoostenKU14","id":"journals/corr/JoostenKU14","bibbaseid":"joosten-kaliszyk-urban-initialexperimentswithtptpstyleautomatedtheoremproversonacl2problems-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1406.1559","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.264Z","downloads":0,"keywords":["dblp"],"search_terms":["initial","experiments","tptp","style","automated","theorem","provers","acl2","problems","joosten","kaliszyk","urban"],"title":"Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.","year":2014,"dataSources":["iRXfhnWYb7pRvaQMx"]}