)
 author       = "1",
@unknown(BN98,
 author       = "F.\ Baader and T.\ Nipkow",
 year         = "1998",
 title        = "Term Rewriting and All That",
 publisher    = "Cambridge University Press",
)
@unknown(GM04,
 author       = "J.~Giesl and A.~Middeldorp",
 year         = "2004",
 title        = "Transformation Techniques for Context-Sensitive Rewrite Systems",
 journal      = "Journal of Functional Programming",
 volume       = "14",
 number       = "4",
 pages        = "379--427",
)
@unknown(LPAR04,
 author       = "J.~Giesl and R.~Thiemann and P.~{Schneider-Kamp}",
 year         = "2005",
 title        = "The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs",
 booktitle    = "Proc.\ LPAR~'04",
 series       = "LNAI 3452",
 pages        = "301--331",
)
@unknown(Frocos05,
 author       = "J.~Giesl and R.~Thiemann and P.~{Schneider-Kamp}",
 year         = "2005",
 title        = "Proving and Disproving Termination of Higher-Order Functions",
 booktitle    = "Proc.\ FroCoS '05",
 series       = "LNAI 3717",
 pages        = "216--231",
)
@unknown(TOPLAS,
 author       = "J.\ Giesl and M.\ Raffelsieper and P.\ Schneider-Kamp and S.\ Swiderski and R.\ Thiemann",
 year         = "2010",
 title        = "Automated Termination Proofs for \textsf {Haskell} by Term Rewriting",
 journal      = "ACM Transactions on Programming Languages and Systems",
 note         = "To appear. Preliminary version appeared in \emph {Proc.\ RTA '06}, LNCS 4098, pp.\ 297--312, 2006.",
)
@unknown(GS09,
 author       = "B.~Gramlich and F.~Schernhammer",
 year         = "2010",
 title        = "Extending Context-Sensitivity in Term Rewriting",
 booktitle    = "Proc.\ WRS~'09",
 series       = "EPTCS 15",
 pages        = "56--68",
)
@unknown(GKM83,
 author       = "J.~Guttag and D.~Kapur and D.~Musser",
 year         = "1983",
 title        = "On Proving Uniform Termination and Restricted Termination of Rewriting Systems",
 journal      = "SIAM Journal of Computation",
 volume       = "12",
 pages        = "189--214",
)
@unknown(Kurth,
 author       = "W.\ Kurth",
 year         = "1990",
 title        = "Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel",
 type         = "Ph.D. thesis",
 school       = "Technische Universit\"at Clausthal, Germany",
)
@unknown(LM78,
 author       = "D.~Lankford and D.~Musser",
 year         = "1978",
 title        = "A Finite Termination Criterion",
 note         = "Unpublished Draft. USC Information Sciences Institute",
)
@unknown(Luc00,
 author       = "S.~Lucas",
 year         = "1998",
 title        = "Context-Sensitive Computations in Functional and Functional Logic Programs",
 journal      = "Journal of Functional and Logic Programming",
 volume       = "1",
 pages        = "1--61",
)
@unknown(Luc01,
 author       = "S.~Lucas",
 year         = "2001",
 title        = "Termination of On-Demand Rewriting and Termination of \textsf {OBJ} Programs",
 booktitle    = "Proc.\ PPDP '01",
 pages        = "82--93",
)
@unknown(RTA10,
 author       = "C.\ Otto and M.\ Brockschmidt and C.\ {von Essen} and J.\ Giesl",
 year         = "2010",
 title        = "Automated Termination Analysis of \textsf {Java Bytecode} by Term Rewriting",
 booktitle    = "Proc.\ RTA '10",
 series       = "LIPIcs 6",
 pages        = "259--276",
)
@unknown(Pay08,
 author       = "{\'E}.\ Payet",
 year         = "2008",
 title        = "Loop Detection in Term Rewriting Using the Eliminating Unfoldings",
 journal      = "Theoretical {C}omputer {S}cience",
 volume       = "403",
 number       = "2-3",
 pages        = "307--327",
)
@unknown(Trafo,
 author       = "M.~Raffelsieper and H.~Zantema",
 year         = "2009",
 title        = "A Transformational Approach to Prove Outermost Termination Automatically",
 booktitle    = "Proc.\ WRS~'08",
 series       = "ENTCS 237",
 pages        = "3--21",
)
@unknown(Kri00,
 author       = "M.~R.~K.~Krishna Rao",
 year         = "2000",
 title        = "Some Characteristics of Strong Innermost Normalization",
 journal      = "Theoretical Computer Science",
 volume       = "239",
 pages        = "141--164",
)
@unknown(TOCL,
 author       = "P.\ Schneider-Kamp and J.\ Giesl and A.\ Serebrenik and R.\ Thiemann",
 year         = "2009",
 title        = "Automated Termination Proofs for Logic Programs by Term Rewriting",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "11",
 number       = "1",
)
@unknown(RTA08,
 author       = "R.~Thiemann and J.~Giesl and P.~Schneider-Kamp",
 year         = "2008",
 title        = "Deciding Innermost Loops",
 booktitle    = "Proc.\ RTA~'08",
 series       = "LNCS 5117",
 pages        = "366--380",
)
@unknown(SOFSEM09,
 author       = "R.~Thiemann",
 year         = "2009",
 title        = "From Outermost Termination to Innermost Termination",
 booktitle    = "Proc.\ SOFSEM~'09",
 series       = "LNCS 5404",
 pages        = "533--545",
)
@unknown(RTA09,
 author       = "R.~Thiemann and C.~Sternagel",
 year         = "2009",
 title        = "Loops under Strategies",
 booktitle    = "Proc.\ RTA~'09",
 series       = "LNCS 5595",
 pages        = "17--31",
)
@unknown(MATCHBOX,
 author       = "J.\ Waldmann",
 year         = "2004",
 title        = "{\sf Matchbox}: A Tool for Match-Bounded String Rewriting",
 booktitle    = "Proc.\ RTA~'04",
 series       = "LNCS 3091",
 pages        = "85--94",
)
@unknown(TORPA_JAR,
 author       = "H.~Zantema",
 year         = "2005",
 title        = "Termination of String Rewriting Proved Automatically",
 journal      = "Journal of {A}utomated {R}easoning",
 volume       = "34",
 pages        = "105--139",
)