@techreport{ HellTechRep81,
  address = {Ume{å}, Sweden},
  author = {Thomas Hellström},
  date-modified = {2014-12-11 23:43:21 +0000},
  institution = {Department of Information Processing, University of Ume{å}},
  title = {Plös-Eva - a Tiny Interpreter for Predicate Logic},
  type = {{ISBN-0348-0542}},
  year = {1981}
}

{"_id":"cKmSb3nBYiQTC565i","authorIDs":["54c17a78b5fb1e5511000440"],"author_short":["Hellström, T."],"bibbaseid":"hellstrm-plsevaatinyinterpreterforpredicatelogic-1981","bibdata":{"address":"Umeå, Sweden","author":["Hellström, Thomas"],"author_short":["Hellström, T."],"bibtex":"@techreport{ HellTechRep81,\n address = {Ume{å}, Sweden},\n author = {Thomas Hellström},\n date-modified = {2014-12-11 23:43:21 +0000},\n institution = {Department of Information Processing, University of Ume{å}},\n title = {Plös-Eva - a Tiny Interpreter for Predicate Logic},\n type = {{ISBN-0348-0542}},\n year = {1981}\n}","bibtype":"techreport","date-modified":"2014-12-11 23:43:21 +0000","id":"HellTechRep81","institution":"Department of Information Processing, University of Umeå","key":"HellTechRep81","title":"Plös-Eva - a Tiny Interpreter for Predicate Logic","type":"ISBN-0348-0542","year":"1981","bibbaseid":"hellstrm-plsevaatinyinterpreterforpredicatelogic-1981","role":"author","urls":{},"downloads":0},"bibtype":"techreport","biburl":"https://dl.dropboxusercontent.com/u/15886066/thomas%20ALL.bib","creationDate":"2015-01-22T22:32:25.015Z","downloads":0,"keywords":[],"search_terms":["eva","tiny","interpreter","predicate","logic","hellström"],"title":"Plös-Eva - a Tiny Interpreter for Predicate Logic","year":1981,"dataSources":["ooqgHikTnmWfGCqe7"]}