@INPROCEEDINGS{Hei00b,
  author = {Heinemann, Bernhard},
  title = {Extending Topological Nexttime Logic},
  booktitle = {Temporal Representation and Reasoning, 7th International Workshop,
	TIME-00},
  year = {2000},
  editor = {Goodwin, Scott D. and Trudel, Andre},
  pages = {87--94},
  address = {Los Alamitos, Ca.},
  publisher = {IEEE Computer Society Press},
  keywords = {thi1}
}

{"_id":"rEjcX5r983JA4mNAg","bibbaseid":"heinemann-extendingtopologicalnexttimelogic-2000","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Extending Topological Nexttime Logic","booktitle":"Temporal Representation and Reasoning, 7th International Workshop, TIME-00","year":"2000","editor":[{"propositions":[],"lastnames":["Goodwin"],"firstnames":["Scott","D."],"suffixes":[]},{"propositions":[],"lastnames":["Trudel"],"firstnames":["Andre"],"suffixes":[]}],"pages":"87–94","address":"Los Alamitos, Ca.","publisher":"IEEE Computer Society Press","keywords":"thi1","bibtex":"@INPROCEEDINGS{Hei00b,\r\n author = {Heinemann, Bernhard},\r\n title = {Extending Topological Nexttime Logic},\r\n booktitle = {Temporal Representation and Reasoning, 7th International Workshop,\r\n\tTIME-00},\r\n year = {2000},\r\n editor = {Goodwin, Scott D. and Trudel, Andre},\r\n pages = {87--94},\r\n address = {Los Alamitos, Ca.},\r\n publisher = {IEEE Computer Society Press},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"editor_short":["Goodwin, S. D.","Trudel, A."],"key":"Hei00b","id":"Hei00b","bibbaseid":"heinemann-extendingtopologicalnexttimelogic-2000","role":"author","urls":{},"keyword":["thi1"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.234Z","downloads":0,"keywords":["thi1"],"search_terms":["extending","topological","nexttime","logic","heinemann"],"title":"Extending Topological Nexttime Logic","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}