@INPROCEEDINGS{Hei00c,
  author = {Heinemann, Bernhard},
  title = {Increasing Sets and Linear Tense Logic},
  booktitle = {International Conference on Temporal Logic 2000},
  year = {2000},
  pages = {83--92},
  address = {Leipzig},
  month = oct,
  organization = {University of Leipzig},
  keywords = {thi1}
}

{"_id":"knyGDW6LdTEMYJr3r","bibbaseid":"heinemann-increasingsetsandlineartenselogic-2000","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Increasing Sets and Linear Tense Logic","booktitle":"International Conference on Temporal Logic 2000","year":"2000","pages":"83–92","address":"Leipzig","month":"October","organization":"University of Leipzig","keywords":"thi1","bibtex":"@INPROCEEDINGS{Hei00c,\r\n author = {Heinemann, Bernhard},\r\n title = {Increasing Sets and Linear Tense Logic},\r\n booktitle = {International Conference on Temporal Logic 2000},\r\n year = {2000},\r\n pages = {83--92},\r\n address = {Leipzig},\r\n month = oct,\r\n organization = {University of Leipzig},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"key":"Hei00c","id":"Hei00c","bibbaseid":"heinemann-increasingsetsandlineartenselogic-2000","role":"author","urls":{},"keyword":["thi1"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.241Z","downloads":0,"keywords":["thi1"],"search_terms":["increasing","sets","linear","tense","logic","heinemann"],"title":"Increasing Sets and Linear Tense Logic","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}