• Zankl H and Middeldorp A. (2009). Increasing interpretations. Annals of Mathematics and Artificial Intelligence. 56:1. (87-108). Online publication date: 1-May-2009.

    https://doi.org/10.1007/s10472-009-9144-7

  • Zankl H, Hirokawa N and Middeldorp A. (2009). KBO Orientability. Journal of Automated Reasoning. 43:2. (173-201). Online publication date: 1-Aug-2009.

    https://doi.org/10.1007/s10817-009-9131-z

  • Koprowski A and Waldmann J. (2009). Max/plus tree automata for termination of term rewriting. Acta Cybernetica. 19:2. (357-392). Online publication date: 1-Feb-2009.

    /doi/10.5555/1774732.1774738

  • Zankl H and Middeldorp A. Increasing Interpretations. Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. (191-205).

    https://doi.org/10.1007/978-3-540-85110-3_16

  • Marché C and Zantema H. The termination competition. Proceedings of the 18th international conference on Term rewriting and applications. (303-313).

    /doi/10.5555/1779782.1779805