@book(BN98,
 author       = {Franz Baader and Tobias Nipkow},
 year         = {1998},
 title        = {Term Rewriting and All That},
 publisher    = {Cambridge University Press},
 doi          = {10.1145/505863.505888},
)
@inproceedings(DLMMU04,
 author       = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer and Claude March{\'e} and Xavier Urbain},
 year         = {2004},
 title        = {Proving termination of membership equational programs},
 editor       = {Nevin Heintze and Peter Sestoft},
 booktitle    = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation},
 publisher    = {ACM},
 pages        = {147--158},
 doi          = {10.1145/1014007.1014022},
)
@article(FG03,
 author       = {Guillaume Feuillade and Thomas Genet},
 year         = {2003},
 title        = {Reachability in Conditional Term Rewriting Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {86},
 number       = {1},
 pages        = {133--146},
 doi          = {10.1016/S1571-0661(04)80658-3},
)
@inproceedings(GG08,
 author       = {Karl Gmeiner and Bernhard Gramlich},
 year         = {2009},
 title        = {Transformations of Conditional Rewrite Systems Revisited},
 editor       = {Andrea Corradini and Ugo Montanari},
 booktitle    = {Proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques},
 series       = {Lecture Notes in Computer Science},
 volume       = {5486},
 publisher    = {Springer},
 pages        = {166--186},
 doi          = {10.1007/978-3-642-03429-9\_12},
)
@inproceedings(GGS10,
 author       = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
 year         = {2010},
 title        = {On (Un)Soundness of Unravelings},
 editor       = {Christopher Lynch},
 booktitle    = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
 series       = {Leibniz International Proceedings in Informatics},
 volume       = {6},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik},
 pages        = {119--134},
 doi          = {10.4230/LIPIcs.RTA.2010.119},
)
@inproceedings(GGS12,
 author       = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
 year         = {2012},
 title        = {On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems},
 editor       = {Ashish Tiwari},
 booktitle    = {Proceedings of the 23rd International Conference on Rewriting Techniques and Applications},
 series       = {Leibniz International Proceedings in Informatics},
 volume       = {15},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik},
 pages        = {193--208},
 doi          = {10.4230/LIPIcs.RTA.2012.193},
)
@inproceedings(GN14wpte,
 author       = {Karl Gmeiner and Naoki Nishida},
 year         = {2014},
 title        = {Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems},
 editor       = {Schmidt{-}Schau{\ss}, Manfred and Masahiko Sakai and David Sabel and Yuki Chiba},
 booktitle    = {Proceedings of the first International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
 series       = {OpenAccess Series in Informatics},
 volume       = {40},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik},
 pages        = {3--14},
 doi          = {10.4230/OASIcs.WPTE.2014.3},
)
@article(LMM05,
 author       = {Salvador Lucas and Claude March{\'e} and Jos{\'e} Meseguer},
 year         = {2005},
 title        = {Operational termination of conditional term rewriting systems},
 journal      = {Information Processing Letters},
 volume       = {95},
 number       = {4},
 pages        = {446--453},
 doi          = {10.1016/j.ipl.2005.05.002},
)
@inproceedings(Mar96,
 author       = {Massimo Marchiori},
 year         = {1996},
 title        = {Unravelings and Ultra-properties},
 editor       = {Michael Hanus and Rodr\'{\i}guez-Artalejo, Mario},
 booktitle    = {Proceedings of the 5th International Conference on Algebraic and Logic Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {1139},
 publisher    = {Springer},
 pages        = {107--121},
 doi          = {10.1007/3-540-61735-3\_7},
)
@techreport(Mar97,
 author       = {Massimo Marchiori},
 year         = {1997},
 title        = {On Deterministic Conditional Rewriting},
 type         = {Computation Structures Group, Memo},
 number       = {405},
 institution  = {MIT Laboratory for Computer Science},
)
@article(NSS12lmcs,
 author       = {Naoki Nishida and Masahiko Sakai and Toshiki Sakabe},
 year         = {2012},
 title        = {Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {3},
 pages        = {1--49},
 doi          = {10.2168/LMCS-8(3:4)2012},
)
@inproceedings(NYG14wpte,
 author       = {Naoki Nishida and Makishi Yanagisawa and Karl Gmeiner},
 year         = {2014},
 title        = {On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings},
 editor       = {Schmidt-Schau{\ss}, Manfred and Masahiko Sakai and David Sabel and Yuki Chiba},
 booktitle    = {Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
 series       = {OpenAccess Series in Informatics},
 volume       = {40},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik},
 pages        = {39--50},
 doi          = {10.4230/OASIcs.WPTE.2014.39},
)
@article(Ohl01,
 author       = {Enno Ohlebusch},
 year         = {2001},
 title        = {Termination of Logic Programs: Transformational Methods Revisited},
 journal      = {Applicable Algebra in Engineering, Communication and Computing},
 volume       = {12},
 number       = {1/2},
 pages        = {73--116},
 doi          = {10.1007/s002000100064},
)
@book(Ohl02,
 author       = {Enno Ohlebusch},
 year         = {2002},
 title        = {Advanced Topics in Term Rewriting},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-3661-8},
)
@inproceedings(SR06,
 author       = {{\c S}erb{\u a}nu{\c t}{\u a}, Traian-Florin and {Ro{\c s}u}, Grigore},
 year         = {2006},
 title        = {Computationally Equivalent Elimination of Conditions},
 editor       = {Frank Pfenning},
 booktitle    = {Proceedings of the 17th International Conference on Rewriting Techniques and Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {4098},
 publisher    = {Springer},
 pages        = {19--34},
 doi          = {10.1007/11805618\_3},
)
@techreport(SR06b,
 author       = {{\c S}erb{\u a}nu{\c t}{\u a}, Traian-Florin and {Ro{\c s}u}, Grigore},
 year         = {2006},
 title        = {Computationally Equivalent Elimination of Conditions},
 type         = {Technical Report},
 number       = {UIUCDCS-R-2006-2693},
 institution  = {Department of Computer Science, University of Illinois at Urbana-Champaign},
)
@inproceedings(SMI95,
 author       = {Taro Suzuki and Aart Middeldorp and Tetsuo Ida},
 year         = {1995},
 title        = {Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides},
 editor       = {Jieh Hsiang},
 booktitle    = {Proceedings of the 6th International Conference on Rewriting Techniques and Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {914},
 publisher    = {Springer},
 pages        = {179--193},
 doi          = {10.1007/3-540-59200-8\_56},
)
@article(Vir99,
 author       = {Patrick Viry},
 year         = {1999},
 title        = {Elimination of Conditions},
 journal      = {Journal of Symbolic Computation},
 volume       = {28},
 number       = {3},
 pages        = {381--401},
 doi          = {10.1006/jsco.1999.0288},
)