Harald Zankl, Bertram Felgenhauer, Aart Middeldorp. Labelings for Decreasing Diagrams. Journal of Automated Reasoning, 54(2):101-133, 2015. [doi]
@article{ZanklFM15, title = {Labelings for Decreasing Diagrams}, author = {Harald Zankl and Bertram Felgenhauer and Aart Middeldorp}, year = {2015}, doi = {10.1007/s10817-014-9316-y}, url = {http://dx.doi.org/10.1007/s10817-014-9316-y}, researchr = {https://researchr.org/publication/ZanklFM15}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {54}, number = {2}, pages = {101-133}, }