@TECHREPORT{Hei94a,
  author = {Heinemann, Bernhard},
  title = {Some Unususal Models of Test--Free Propositional Dynamic Logic},
  institution = {Fernuniversit{\"a}t},
  year = {1994},
  type = {Informatik Berichte},
  number = {166},
  address = {Hagen},
  month = nov,
  keywords = {thi1}
}

{"_id":"YuHZhEymKnZaXJuvy","bibbaseid":"heinemann-someunususalmodelsoftestfreepropositionaldynamiclogic-1994","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"techreport","type":"Informatik Berichte","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Some Unususal Models of Test–Free Propositional Dynamic Logic","institution":"Fernuniversität","year":"1994","number":"166","address":"Hagen","month":"November","keywords":"thi1","bibtex":"@TECHREPORT{Hei94a,\r\n author = {Heinemann, Bernhard},\r\n title = {Some Unususal Models of Test--Free Propositional Dynamic Logic},\r\n institution = {Fernuniversit{\\\"a}t},\r\n year = {1994},\r\n type = {Informatik Berichte},\r\n number = {166},\r\n address = {Hagen},\r\n month = nov,\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"key":"Hei94a","id":"Hei94a","bibbaseid":"heinemann-someunususalmodelsoftestfreepropositionaldynamiclogic-1994","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.273Z","downloads":0,"keywords":["thi1"],"search_terms":["unususal","models","test","free","propositional","dynamic","logic","heinemann"],"title":"Some Unususal Models of Test–Free Propositional Dynamic Logic","year":1994,"dataSources":["t7rKiAbxugj4Agz8M"]}