@InProceedings{fiedler2001b,
  Title                    = {P.rex: An Interactive Proof Explainer},
  Author                   = {Armin Fiedler},
  Booktitle                = {In Proc. of IJCAR 2001, LNAI},
  Year                     = {2001},
  Pages                    = {416--420},
  Publisher                = {Springer}
}

{"_id":"hQy7QYGNR6HK49itx","bibbaseid":"fiedler-prexaninteractiveproofexplainer-2001","downloads":0,"creationDate":"2017-04-19T15:50:25.535Z","title":"P.rex: An Interactive Proof Explainer","author_short":["Fiedler, A."],"year":2001,"bibtype":"inproceedings","biburl":"http://www.ia.uned.es/~mluque/cisiad.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"P.rex: An Interactive Proof Explainer","author":[{"firstnames":["Armin"],"propositions":[],"lastnames":["Fiedler"],"suffixes":[]}],"booktitle":"In Proc. of IJCAR 2001, LNAI","year":"2001","pages":"416--420","publisher":"Springer","bibtex":"@InProceedings{fiedler2001b,\n Title = {P.rex: An Interactive Proof Explainer},\n Author = {Armin Fiedler},\n Booktitle = {In Proc. of IJCAR 2001, LNAI},\n Year = {2001},\n Pages = {416--420},\n Publisher = {Springer}\n}\n\n","author_short":["Fiedler, A."],"key":"fiedler2001b","id":"fiedler2001b","bibbaseid":"fiedler-prexaninteractiveproofexplainer-2001","role":"author","urls":{},"downloads":0},"search_terms":["rex","interactive","proof","explainer","fiedler"],"keywords":[],"authorIDs":[],"dataSources":["M66iSiMeC2pAhHPfr"]}