Link  Paper  bibtex   

@inproceedings{conf/rta/FelgenhauerO13,
  added-at = {2019-09-16T00:00:00.000+0200},
  author = {Felgenhauer, Bertram and van Oostrom, Vincent},
  biburl = {https://www.bibsonomy.org/bibtex/2085ee63f59c0e62995ea6a039f33b314/dblp},
  booktitle = {RTA},
  crossref = {conf/rta/2013},
  editor = {van Raamsdonk, Femke},
  ee = {https://doi.org/10.4230/LIPIcs.RTA.2013.174},
  interhash = {50acf9720e536c5a04fe223ecbd45be0},
  intrahash = {085ee63f59c0e62995ea6a039f33b314},
  isbn = {978-3-939897-53-8},
  keywords = {dblp},
  pages = {174-189},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  series = {LIPIcs},
  timestamp = {2020-02-12T11:50:00.000+0100},
  title = {Proof Orders for Decreasing Diagrams.},
  url = {http://dblp.uni-trier.de/db/conf/rta/rta2013.html#FelgenhauerO13},
  volume = 21,
  year = 2013
}