

,-------------------.
|     PREAMBLE      |
`-------------------'

@preamble{ "\providecommand{\noopsort}[1]{}"
}

,-------------------.
|  BIBTEX ENTRIES   |
`-------------------'

@inproceedings{vO08a,
  author =        {V.~{\noopsort{Oostrom}}{van Oostrom}},
  booktitle =     {Proc.\ 19th International Conference on Rewriting
                   Techniques and Applications},
  key =           {Oostrom},
  pages =         {306--320},
  series =        {Lecture Notes in Computer Science},
  title =         {Confluence by Decreasing Diagrams -- Converted},
  volume =        {5117},
  year =          {2008},
}

@inproceedings{HM10,
  author =        {N.~Hirokawa and A.~Middeldorp},
  booktitle =     {Proc.\ 5th International Joint Conference on
                   Automated Reasoning},
  pages =         {487--501},
  series =        {Lecture Notes in Artificial Intelligence},
  title =         {Decreasing Diagrams and Relative Termination},
  volume =        {6173},
  year =          {2010},
}

@inproceedings{FvO13,
  author =        {B.~Felgenhauer and V.~{van Oostrom}},
  booktitle =     {Proc.\ 24th International Conference on Rewriting
                   Techniques and Applications},
  number =        {21},
  pages =         {174--189},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {Proof Orders for Decreasing Diagrams},
  year =          {2013},
}

