Journal Articles

1. C. Kop and A. Middeldorp and T. Sternagel
   Complexity of Conditional Term Rewriting
   Logical Methods in Computer Science (LMCS),
   Volume 13, Issue 1, 2017.

Papers in Proceedings

1. C. Sternagel and T. Sternagel
   Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems
   In Proceedings of the 26th International Conference on Automated Deduction (CADE 2017),
   pp 413-431, 2017. Springer-Verlag
2. C. Sternagel and T. Sternagel
   Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
   In Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016),
   pp 29:1-29:16, 2016. LIPIcs
3. C. Kop and A. Middeldorp and T. Sternagel
   Conditional Complexity
   In Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015),
   pp 223-240, 2015. LIPIcs
4. T. Sternagel and S. Winkler and H. Zankl
   Recording Completion for Certificates in Equational Reasoning
   In Proceedings of the 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP 2015),
   pp 41-47, 2015. ACM
5. T. Sternagel and A. Middeldorp
   Conditional Confluence (System Description)
   In Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014),
   Lecture Notes in Artificial Intelligence 8560, pp 456-465, 2014. © Springer-Verlag
6. T. Sternagel and H. Zankl
   KBCV - Knuth-Bendix Completion Visualizer
   In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012),
   Lecture Notes in Artificial Intelligence 7364, pp 530-536, 2012. © Springer-Verlag

Thesis

• T. Sternagel, Automatic Proofs in Equational Logic, Master thesis, University of Innsbruck, 2012.

Others

1. T. Sternagel and C. Sternagel
   Certified Non-Confluence with ConCon 1.5
   In Proceedings of the 6th International Workshop on Confluence (IWC 2017),
   pp 9-13, 2017.
2. T. Sternagel and C. Sternagel
   Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs
   In Proceedings of the 5th International Workshop on Confluence (IWC 2016),
   pp 60-64, 2016.
3. T. Sternagel and C. Sternagel
   A Characterization of Quasi-Decreasingness
   In Proceedings of the 15th International Workshop on Termination (WST 2016),
   pp 12:1-12:5, 2016.
4. C. Sternagel and T. Sternagel
   Level-Confluence of 3-CTRSs in Isabelle/HOL
   In Proceedings of the 4th International Workshop on Confluence (IWC 2015),
   pp 28-32, 2015.
5. T. Sternagel and A. Middeldorp
   Infeasible Conditional Critical Pairs
   In Proceedings of the 4th International Workshop on Confluence (IWC 2015),
   pp 13-17, 2015. (typo in example 6.1 fixed)
6. T. Sternagel
   KBCV 2.0 - Automatic Completion Experiments
   In Proceedings of the 2nd International Workshop on Confluence (IWC 2013),
   pp 53-57, 2013.
7. C. Kaliszyk and T. Sternagel
   Initial Experiments on Deriving a Complete HOL Simplification Set
   In Proceedings of the 3rd International Workshop on Proof Exchange for Theorem Proving (PxTP 2013),
   pp 77-86, 2013.
8. T. Sternagel, R. Thiemann, H. Zankl and C. Sternagel
   Recording Completion for Finding and Certifying Proofs in Equational Logic
   In Proceedings of the 1st International Workshop on Confluence (IWC 2012),
   pp 31-36, 2012.