@inproceedings(ppdp03-antoy-brassel-hanus,
 author       = {Sergio Antoy and Bra{\ss}el, Bernd and Michael Hanus},
 year         = {2003},
 title        = {Conditional Narrowing without Conditions},
 booktitle    = {Proc.~5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden},
 publisher    = {ACM Press},
 pages        = {20--31},
 doi          = {10.1145/888251.888255},
)
@inproceedings(lpar94-avenhaus-loria-saenz,
 author       = {J{\"u}rgen Avenhaus and Lor\'{\i}a-S{\'a}enz, Carlos},
 year         = {1994},
 title        = {On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs},
 editor       = {Frank Pfenning},
 booktitle    = {Proc.\ 5th Int.\ Conf.\ on Logic Programming and Automated Reasoning (LPAR'94), Kiev, Ukraine, July 16-22, 1994},
 pages        = {215--229},
 doi          = {10.1007/3-540-58216-9\_40},
)
@book(BaNi98,
 author       = {Franz Baader and Tobias Nipkow},
 year         = {1998},
 title        = {Term rewriting and All That},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139172752},
)
@article(jcss86-bergstra-klop,
 author       = {{Jan A.} Bergstra and {Jan Willem} Klop},
 year         = {1986},
 title        = {Conditional Rewrite Rules: Confluence and Termination},
 journal      = {Journal of Computer and System Sciences},
 volume       = {32},
 number       = {3},
 pages        = {323--362},
 doi          = {10.1016/0022-0000(86)90033-4},
)
@inproceedings(pepm04-duran-lucas-meseguer-marche-urbain,
 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    = {PEPM},
 publisher    = {ACM},
 pages        = {147--158},
 doi          = {10.1145/1014007.1014022},
)
@inproceedings(ctrs87-lncs88-giovanetti-moiso,
 author       = {Elio Giovanetti and Corrado Moiso},
 year         = {1988},
 title        = {Notes on the Elimination of Conditions},
 editor       = {St{\'e}phane Kaplan and Jean-Pierre Jouannaud},
 booktitle    = {Proc.\ 1st Int.\ Workshop on Conditional Rewriting Systems (CTRS'87), Orsay, France, 1987},
 series       = {Lecture Notes in Computer Science},
 volume       = {308},
 publisher    = {Springer},
 address      = {Orsay, France},
 pages        = {91--97},
 doi          = {10.1007/3-540-19242-5\_8},
 note         = {ISBN 3-540-19242-5},
)
@phdthesis(gmeiner-phd-thesis,
 author       = {Karl Gmeiner},
 year         = {2013},
 title        = {{Transformational Approaches for Conditional Term Rewrite Systems}},
 school       = {Vienna Technical University, Vienna, Austria},
)
@inproceedings(rta10-gmeiner-et-al,
 author       = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
 year         = {2010},
 title        = {On (Un)Soundness of Unravelings},
 editor       = {Christopher Lynch},
 booktitle    = {Proc.\ 21st International Conference on Rewriting Techniques and Applications (RTA 2010), July 11-13, 2010, Edinburgh, Scotland, UK},
 series       = {LIPIcs (Leibniz International Proceedings in Informatics)},
 doi          = {10.4230/LIPIcs.RTA.2010.119},
)
@inproceedings(rta12-gmeiner-et-al,
 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    = {Proc.\ 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 30 -- June 2, 2012, Nagoya, Japan},
 series       = {LIPIcs (Leibniz International Proceedings in Informatics)},
 doi          = {10.4230/LIPIcs.RTA.2012.193},
)
@inproceedings(wpte14,
 author       = {Karl Gmeiner and Naoki Nishida},
 year         = {2014},
 title        = {Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems},
 editor       = {Schmidt-Schauß, Manfred and Masahiko Sakai and David Sabel and Yuki Chiba},
 booktitle    = {Proceedings of the 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
 pages        = {3--14},
 doi          = {10.4230/OASIcs.WPTE.2014.3},
)
@inproceedings(iwc2013,
 author       = {Karl Gmeiner and Naoki Nishida and Bernhard Gramlich},
 year         = {2013},
 title        = {Proving Confluence of Conditional Term Rewriting Systems via Unravelings},
 editor       = {Nao Hirokawa and Vincent van Oostrom},
 booktitle    = {Proceedings of the 2nd International Workshop on Confluence},
 pages        = {35--39},
)
@inproceedings(ctrs94-lncs95-hintermeier,
 author       = {Claus Hintermeier},
 year         = {1995},
 title        = {How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs},
 booktitle    = {Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {968},
 pages        = {186--205},
 doi          = {10.1007/3-540-60381-6\_11},
)
@inproceedings(alp96-marchiori,
 author       = {Massimo Marchiori},
 year         = {1996},
 title        = {Unravelings and Ultra-Properties},
 editor       = {Michael Hanus and Rodr{\'\i}guez-Artalejo, Mario},
 booktitle    = {Proc.~5th Int.~Conf.~on Algebraic and Logic Programming, Aachen},
 series       = {Lecture Notes in Computer Science},
 volume       = {1139},
 publisher    = {Springer},
 pages        = {107--121},
 doi          = {10.1007/3-540-61735-3\_7},
)
@techreport(techrep97-marchiori,
 author       = {Massimo Marchiori},
 year         = {1997},
 title        = {On Deterministic Conditional Rewriting},
 type         = {Technical Report},
 number       = {MIT LCS CSG Memo n.405},
 institution  = {MIT, Cambridge, MA, USA},
)
@inproceedings(rta05-nishida-sakai-sakabe,
 author       = {Naoki Nishida and Masahiko Sakai and Toshiki Sakabe},
 year         = {2005},
 title        = {Partial Inversion of Constructor Term Rewriting Systems},
 editor       = {J{\"u}rgen Giesl},
 booktitle    = {Proc.\ 16th International Conference on Rewriting Techniques and Applications (RTA'05), Nara, Japan, April 19-21, 2005},
 series       = {Lecture Notes in Computer Science},
 volume       = {3467},
 publisher    = {Springer},
 pages        = {264--278},
 doi          = {10.1007/b138262},
)
@inproceedings(rta11-nishida-et-al,
 author       = {Naoki Nishida and Masahiko Sakai and Toshiki Sakabe},
 year         = {2011},
 title        = {Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity},
 editor       = {Schmidt-Schauss, Manfred},
 booktitle    = {Proc.\ 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), May 30 -- June 1, 2011, Novi Sad, Serbia},
 series       = {LIPIcs (Leibniz International Proceedings in Informatics)},
 doi          = {10.4230/LIPIcs.RTA.2011.267},
 note         = {Pages 267--282},
)
@inproceedings(iwc2014,
 author       = {Naoki Nishida and Makishi Yanagisawa and Karl Gmeiner},
 year         = {2014},
 title        = {On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation},
 editor       = {Takahito Aoto and Delia Kesner},
 booktitle    = {Proceedings of the 3nd International Workshop on Confluence},
 pages        = {24--28},
)
@inproceedings(flops99-ohlebusch,
 author       = {Enno Ohlebusch},
 year         = {1999},
 title        = {On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems},
 editor       = {Aart Middeldorp and Taisuke Sato},
 booktitle    = {Proc.\ 4th Fuji Int.\ Symp.\ on Functional and Logic Programming (FLOPS'99)},
 series       = {Lecture Notes in Computer Science},
 volume       = {1722},
 publisher    = {Springer},
 address      = {Tsukuba, Japan},
 pages        = {179--193},
 doi          = {10.1007/10705424\_12},
)
@book(book02-ohlebusch,
 author       = {Enno Ohlebusch},
 year         = {2002},
 title        = {Advanced Topics in Term Rewriting},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-3661-8},
)
@inproceedings(wst07-schernhammer-gramlich,
 author       = {Felix Schernhammer and Bernhard Gramlich},
 year         = {2007},
 title        = {On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems},
 editor       = {Dieter Hofbauer and Alexander Serebrenik},
 booktitle    = {Proc.~9th International Workshop on Termination (WST'07), June 29, 2007, Paris, France},
 pages        = {82--85},
)
@inproceedings(rta06-serbanuta-rosu,
 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    = {Proc.~17th International Conference on Rewriting Techniques and Applications, Seattle, WA, USA, August 12-14, 2006},
 series       = {Lecture Notes in Computer Science},
 volume       = {4098},
 publisher    = {Springer},
 pages        = {19--34},
 doi          = {10.1007/11805618\_3},
)
@article(jsc99-viry,
 author       = {Patrick Viry},
 year         = {1999},
 title        = {Elimination of Conditions},
 journal      = {J. Symb. Comput.},
 volume       = {28},
 number       = {3},
 pages        = {381--401},
 doi          = {10.1006/jsco.1999.0288},
)