@article{Schulz:AICOM-2002,
annote = {StS},
author = {Schulz, Stephan},
journal = {Journal of AI Communications},
number = {2/3},
pages = {111--126},
title = {{E -- A Brainiac Theorem Prover}},
volume = {15},
year = {2002}
}

{"_id":"8CHfjrm8SbzFEi3Lt","bibbaseid":"schulz-eabrainiactheoremprover-2002","downloads":0,"creationDate":"2017-09-01T03:35:40.580Z","title":"E -- A Brainiac Theorem Prover","author_short":["Schulz, S."],"year":2002,"bibtype":"article","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"article","type":"article","annote":"StS","author":[{"propositions":[],"lastnames":["Schulz"],"firstnames":["Stephan"],"suffixes":[]}],"journal":"Journal of AI Communications","number":"2/3","pages":"111--126","title":"E -- A Brainiac Theorem Prover","volume":"15","year":"2002","bibtex":"@article{Schulz:AICOM-2002,\nannote = {StS},\nauthor = {Schulz, Stephan},\njournal = {Journal of AI Communications},\nnumber = {2/3},\npages = {111--126},\ntitle = {{E -- A Brainiac Theorem Prover}},\nvolume = {15},\nyear = {2002}\n}\n","author_short":["Schulz, S."],"key":"Schulz:AICOM-2002","id":"Schulz:AICOM-2002","bibbaseid":"schulz-eabrainiactheoremprover-2002","role":"author","urls":{},"downloads":0},"search_terms":["brainiac","theorem","prover","schulz"],"keywords":[],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}