@Article{sz08,
  Author         = {Strahm, Thomas and Zucker, Jeffery I},
  Title          = {Primitive recursive selection functions for
                   existential assertions over abstract algebras},
  Journal        = {Journal of Logic and Algebraic Programming},
  Volume         = {76},
  Number         = {2},
  Pages          = {175-197},
  abstract       = {},
  url            = {2008/sz08.pdf},
  year           = 2008
}

{"_id":"NAuxAbgohp2GP2gHA","bibbaseid":"strahm-zucker-primitiverecursiveselectionfunctionsforexistentialassertionsoverabstractalgebras-2008","authorIDs":[],"author_short":["Strahm, T.","Zucker, J. I"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Strahm"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Zucker"],"firstnames":["Jeffery","I"],"suffixes":[]}],"title":"Primitive recursive selection functions for existential assertions over abstract algebras","journal":"Journal of Logic and Algebraic Programming","volume":"76","number":"2","pages":"175-197","abstract":"","url":"2008/sz08.pdf","year":"2008","bibtex":"@Article{sz08,\n Author = {Strahm, Thomas and Zucker, Jeffery I},\n Title = {Primitive recursive selection functions for\n existential assertions over abstract algebras},\n Journal = {Journal of Logic and Algebraic Programming},\n Volume = {76},\n Number = {2},\n Pages = {175-197},\n abstract = {},\n url = {2008/sz08.pdf},\n year = 2008\n}\n\n","author_short":["Strahm, T.","Zucker, J. I"],"key":"sz08","id":"sz08","bibbaseid":"strahm-zucker-primitiverecursiveselectionfunctionsforexistentialassertionsoverabstractalgebras-2008","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2008/sz08.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.061Z","downloads":0,"keywords":[],"search_terms":["primitive","recursive","selection","functions","existential","assertions","over","abstract","algebras","strahm","zucker"],"title":"Primitive recursive selection functions for existential assertions over abstract algebras","year":2008,"dataSources":["jFQMeatnEb8qn3qdH"]}