@article{journals/afp/FelgenhauerNOS16,
  added-at = {2020-05-25T00:00:00.000+0200},
  author = {Felgenhauer, Bertram and Nagele, Julian and van Oostrom, Vincent and Sternagel, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/220f609294ac986e41519bee4ccfe5159/dblp},
  ee = {https://www.isa-afp.org/entries/Rewriting_Z.shtml},
  interhash = {4f1fc214a57b1aa4638666c51067c221},
  intrahash = {20f609294ac986e41519bee4ccfe5159},
  journal = {Arch. Formal Proofs},
  keywords = {dblp},
  timestamp = {2020-05-26T11:50:12.000+0200},
  title = {The Z Property.},
  url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#FelgenhauerNOS16},
  volume = 2016,
  year = 2016
}

{"_id":"8eFuFsndM2C3fZ5hK","bibbaseid":"felgenhauer-nagele-vanoostrom-sternagel-thezproperty-2016","authorIDs":[],"author_short":["Felgenhauer, B.","Nagele, J.","van Oostrom, V.","Sternagel, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Nagele"],"firstnames":["Julian"],"suffixes":[]},{"propositions":["van"],"lastnames":["Oostrom"],"firstnames":["Vincent"],"suffixes":[]},{"propositions":[],"lastnames":["Sternagel"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/220f609294ac986e41519bee4ccfe5159/dblp","ee":"https://www.isa-afp.org/entries/Rewriting_Z.shtml","interhash":"4f1fc214a57b1aa4638666c51067c221","intrahash":"20f609294ac986e41519bee4ccfe5159","journal":"Arch. Formal Proofs","keywords":"dblp","timestamp":"2020-05-26T11:50:12.000+0200","title":"The Z Property.","url":"http://dblp.uni-trier.de/db/journals/afp/afp2016.html#FelgenhauerNOS16","volume":"2016","year":"2016","bibtex":"@article{journals/afp/FelgenhauerNOS16,\n added-at = {2020-05-25T00:00:00.000+0200},\n author = {Felgenhauer, Bertram and Nagele, Julian and van Oostrom, Vincent and Sternagel, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/220f609294ac986e41519bee4ccfe5159/dblp},\n ee = {https://www.isa-afp.org/entries/Rewriting_Z.shtml},\n interhash = {4f1fc214a57b1aa4638666c51067c221},\n intrahash = {20f609294ac986e41519bee4ccfe5159},\n journal = {Arch. Formal Proofs},\n keywords = {dblp},\n timestamp = {2020-05-26T11:50:12.000+0200},\n title = {The Z Property.},\n url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#FelgenhauerNOS16},\n volume = 2016,\n year = 2016\n}\n\n","author_short":["Felgenhauer, B.","Nagele, J.","van Oostrom, V.","Sternagel, C."],"key":"journals/afp/FelgenhauerNOS16","id":"journals/afp/FelgenhauerNOS16","bibbaseid":"felgenhauer-nagele-vanoostrom-sternagel-thezproperty-2016","role":"author","urls":{"Link":"https://www.isa-afp.org/entries/Rewriting_Z.shtml","Paper":"http://dblp.uni-trier.de/db/journals/afp/afp2016.html#FelgenhauerNOS16"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.404Z","downloads":0,"keywords":["dblp"],"search_terms":["property","felgenhauer","nagele","van oostrom","sternagel"],"title":"The Z Property.","year":2016,"dataSources":["fYGRSD8HXJYwZPaY7"]}