@ARTICLE{BS17,
  author = {Berger, Josef and Schwichtenberg, Helmut},
  title = {A bound for {D}ickson's lemma},
  journal = {Logical Methods in Computer Science},
  year = {2017},
  volume = {13},
  pages = {30:8},
  number = {3},
  issn = {1860-5974},
  keywords = {bib,con},
  mrclass = {03F60 (03B35)},
  mrnumber = {3708819},
  owner = {Vasco},
  timestamp = {2019.02.07}
}

{"_id":"9qX4M8TXYqEGD5MGx","bibbaseid":"berger-schwichtenberg-aboundfordicksonslemma-2017","authorIDs":[],"author_short":["Berger, J.","Schwichtenberg, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Berger"],"firstnames":["Josef"],"suffixes":[]},{"propositions":[],"lastnames":["Schwichtenberg"],"firstnames":["Helmut"],"suffixes":[]}],"title":"A bound for Dickson's lemma","journal":"Logical Methods in Computer Science","year":"2017","volume":"13","pages":"30:8","number":"3","issn":"1860-5974","keywords":"bib,con","mrclass":"03F60 (03B35)","mrnumber":"3708819","owner":"Vasco","timestamp":"2019.02.07","bibtex":"@ARTICLE{BS17,\r\n author = {Berger, Josef and Schwichtenberg, Helmut},\r\n title = {A bound for {D}ickson's lemma},\r\n journal = {Logical Methods in Computer Science},\r\n year = {2017},\r\n volume = {13},\r\n pages = {30:8},\r\n number = {3},\r\n issn = {1860-5974},\r\n keywords = {bib,con},\r\n mrclass = {03F60 (03B35)},\r\n mrnumber = {3708819},\r\n owner = {Vasco},\r\n timestamp = {2019.02.07}\r\n}\r\n\r\n","author_short":["Berger, J.","Schwichtenberg, H."],"key":"BS17","id":"BS17","bibbaseid":"berger-schwichtenberg-aboundfordicksonslemma-2017","role":"author","urls":{},"keyword":["bib","con"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.713Z","downloads":0,"keywords":["bib","con"],"search_terms":["bound","dickson","lemma","berger","schwichtenberg"],"title":"A bound for Dickson's lemma","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}