@unknown(BN98, author = "F.~Baader and T.~Nipkow", year = "1998", title = "Term Rewriting and All That", publisher = "Cambridge University Press", ) @unknown(EWZ08, author = "J.~Endrullis and J.~Waldmann and H.~Zantema", year = "2008", title = "Matrix Interpretations for Proving Termination of Term Rewriting", journal = "Journal of Automated Reasoning", volume = "40", number = "2-3", pages = "195--220", url = "http://dx.doi.org/10.1007/s10817-007-9087-9", ) @unknown(GTS05, author = "J.~Giesl and R.~Thiemann and P.~Schneider-Kamp", year = "2005", title = "Proving and Disproving Termination of Higher-Order Functions", booktitle = "Proc.\ 5th International Workshop on Frontiers of Combining Systems", series = "LNCS", volume = "3717", pages = "216--231", url = "http://dx.doi.org/10.1007/11559306\_12", ) @unknown(GTSF06, author = "J.~Giesl and R.~Thiemann and P.~Schneider-Kamp and S.~Falke", year = "2006", title = "Mechanizing and Improving Dependency Pairs", journal = "Journal of Automated Reasoning", volume = "37", number = "3", pages = "155--203", url = "http://dx.doi.org/10.1007/s10817-006-9057-7", ) @unknown(G95, author = "B.~Gramlich", year = "1995", title = "Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems", journal = "Fundamenta Informaticae", volume = "24", number = "1-2", pages = "3--23", ) @unknown(HM05, author = "N.~Hirokawa and A.~Middeldorp", year = "2005", title = "Automating the Dependency Pair Method", journal = "Information and Computation", volume = "199", number = "1-2", pages = "172--199", url = "http://dx.doi.org/10.1016/j.ic.2004.10.004", ) @unknown(HM07, author = "N.~Hirokawa and A.~Middeldorp", year = "2007", title = "Tyrolean {T}ermination {T}ool: Techniques and Features", journal = "Information and Computation", volume = "205", number = "4", pages = "474--511", url = "http://dx.doi.org/10.1016/j.ic.2006.08.010", ) @unknown(HMZ08, author = "N.~Hirokawa and A.~Middeldorp and H.~Zankl", year = "2008", title = "Uncurrying for Termination", booktitle = "Proc.\ 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning", series = "LNCS (LNAI)", volume = "5330", pages = "667--681", url = "http://dx.doi.org/10.1007/978-3-540-89439-1\_46", ) @unknown(HM08, author = "N.~Hirokawa and G.~Moser", year = "2008", title = "Automated Complexity Analysis Based on the Dependency Pair Method", booktitle = "Proc.\ 4th International Joint Conference on Automated Reasoning", series = "LNCS (LNAI)", volume = "5195", pages = "364--380", url = "http://dx.doi.org/10.1007/978-3-540-71070-7\_32", ) @unknown(HL89, author = "D.~Hofbauer and C.~Lautemann", year = "1989", title = "Termination Proofs and the Length of Derivations", booktitle = "Proc.\ 3rd International Conference on Rewriting Techniques and Applications", series = "LNCS", volume = "355", pages = "167--177", url = "http://dx.doi.org/10.1007/3-540-51081-8\_107", ) @unknown(KKSV96, author = "R.~Kennaway and J.W. Klop and M.R. Sleep and F.-J. de~Vries", year = "1996", title = "Comparing Curried and Uncurried Rewriting", journal = "Journal of Symbolic Computation", volume = "21", number = "1", pages = "15--39", ) @unknown(KSZM09, author = "M.~Korp and C.~Sternagel and H.~Zankl and A.~Middeldorp", year = "2009", title = "Tyrolean {Termination} {Tool}~2", booktitle = "Proc.\ 20th International Conference on Rewriting Techniques and Applications", series = "LNCS", volume = "5595", pages = "295--304", url = "http://dx.doi.org/10.1007/978-3-642-02348-4\_21", ) @unknown(MSW08, author = "G.~Moser and A.~Schnabl and J.~Waldmann", year = "2008", title = "Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations", booktitle = "Proc.\ 28th International Conference on Foundations of Software Technology and Theoretical Computer Science", series = "LIPIcs", volume = "2", pages = "304--315", url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2008.1762", ) @unknown(NZM10, author = "F.~Neurauter and H.~Zankl and A.~Middeldorp", year = "2010", title = "Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting", booktitle = "Proc.\ 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning", series = "LNCS (ARCoSS)", volume = "6397", pages = "550--564", url = "http://dx.doi.org/10.1007/978-3-642-16242-8\_39", ) @unknown(O07, author = "V.~van Oostrom", year = "2007", title = "Random Descent", booktitle = "Proc.\ 18th International Conference on Rewriting Techniques and Applications", series = "LNCS", volume = "4533", pages = "314--328", url = "http://dx.doi.org/10.1007/978-3-540-73449-9\_24", ) @unknown(K00, author = "M.R.K.~Krishna Rao", year = "2000", title = "Some Characteristics of Strong Innermost Normalization", journal = "Theoretical Computer Science", volume = "239", pages = "141--164", url = "http://dx.doi.org/10.1016/S0304-3975(99)00215-7", ) @unknown(TeReSe, author = "TeReSe", year = "2003", title = "Term Rewriting Systems", series = "Cambridge Tracts in Theoretical Computer Science", volume = "55", publisher = "Cambridge University Press", ) @unknown(W10, author = "J.~Waldmann", year = "2010", title = "Polynomially Bounded Matrix Interpretations", booktitle = "Proc.\ 21st International Conference on Rewriting Techniques and Applications", series = "LIPIcs", volume = "6", pages = "357--372", url = "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.357", ) @unknown(ZK10, author = "H.~Zankl and M.~Korp", year = "2010", title = "Modular Complexity Analysis via Relative Complexity", booktitle = "Proc.\ 21st International Conference on Rewriting Techniques and Applications", series = "LIPIcs", volume = "6", pages = "385--400", url = "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.385", ) @unknown(ZM10, author = "H.~Zankl and A.~Middeldorp", year = "2010", title = "Satisfiability of Non-Linear (Ir)rational Arithmetic", booktitle = "Proc.\ 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning", series = "LNCS (LNAI)", volume = "6355", pages = "481--500", )