@InProceedings{jae93b,
  Author         = {Gerhard J{\"a}ger},
  Title          = {Some proof-theoretic aspects of logic programming},
  BookTitle      = {Logic and Algebra of Specification},
  Editor         = {Friedrich Ludwig Bauer and Wilfried Brauer and Helmut
                   Schwichtenberg},
  Volume         = {94},
  Series         = {Computer and Systems Sciences},
  Pages          = {113{--}142},
  Publisher      = {Springer},
  year           = 1993
}

{"_id":"uRa2aCSFRGgGGsX6h","bibbaseid":"jger-someprooftheoreticaspectsoflogicprogramming-1993","authorIDs":[],"author_short":["Jäger, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]}],"title":"Some proof-theoretic aspects of logic programming","booktitle":"Logic and Algebra of Specification","editor":[{"firstnames":["Friedrich","Ludwig"],"propositions":[],"lastnames":["Bauer"],"suffixes":[]},{"firstnames":["Wilfried"],"propositions":[],"lastnames":["Brauer"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Schwichtenberg"],"suffixes":[]}],"volume":"94","series":"Computer and Systems Sciences","pages":"113–142","publisher":"Springer","year":"1993","bibtex":"@InProceedings{jae93b,\n Author = {Gerhard J{\\\"a}ger},\n Title = {Some proof-theoretic aspects of logic programming},\n BookTitle = {Logic and Algebra of Specification},\n Editor = {Friedrich Ludwig Bauer and Wilfried Brauer and Helmut\n Schwichtenberg},\n Volume = {94},\n Series = {Computer and Systems Sciences},\n Pages = {113{--}142},\n Publisher = {Springer},\n year = 1993\n}\n\n","author_short":["Jäger, G."],"editor_short":["Bauer, F. L.","Brauer, W.","Schwichtenberg, H."],"key":"jae93b","id":"jae93b","bibbaseid":"jger-someprooftheoreticaspectsoflogicprogramming-1993","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.070Z","downloads":0,"keywords":[],"search_terms":["proof","theoretic","aspects","logic","programming","jäger"],"title":"Some proof-theoretic aspects of logic programming","year":1993,"dataSources":["jFQMeatnEb8qn3qdH"]}