@book(Bezem2003,
 author       = {Marc Bezem and Jan W. Klop and Roel de Vrijer},
 year         = {2003},
 title        = {Terese: Term Rewriting Systems},
 publisher    = {Cambridge University Press},
 address      = {United Kingdom},
)
@article(Gluck2005,
 author       = {Robert Gl{\"u}ck and Masahiko Kawabe},
 year         = {2005},
 title        = {Revisiting an automatic program inverter for {Lisp}},
 journal      = {SIGPLAN Notices},
 volume       = {40},
 number       = {5},
 pages        = {8--17},
 doi          = {10.1145/1071221.1071222},
)
@inproceedings(GlueckKlimov:94:LMMC,
 author       = {Robert Gl{\"u}ck and Andrei V. Klimov},
 year         = {1994},
 title        = {Metacomputation as a tool for formal linguistic modeling},
 editor       = {Robert Trappl},
 booktitle    = {Cybernetics and Systems '94},
 volume       = {2},
 publisher    = {World Scientific},
 pages        = {1563--1570},
)
@inproceedings(GlueckTurchin:90,
 author       = {Robert Gl{\"u}ck and Valentin F. Turchin},
 year         = {1990},
 title        = {Application of metasystem transition to function inversion and transformation},
 booktitle    = {International Symposium on Symbolic and Algebraic Computation. Proceedings},
 publisher    = {ACM},
 pages        = {286--287},
 doi          = {10.1145/96877.96953},
)
@inproceedings(Kawabe2005,
 author       = {Masahiko Kawabe and Robert Gl{\"u}ck},
 year         = {2005},
 title        = {The program inverter {LRinv} and its structure},
 editor       = {Manuel Hermenegildo and Daniel Cabeza},
 booktitle    = {Practical Aspects of Declarative Languages. Proceedings},
 series       = {LNCS 3350},
 publisher    = {Springer},
 pages        = {219--234},
 doi          = {10.1007/978-3-540-30557-6_17},
)
@inproceedings(KirGlu:20,
 author       = {Maja H. Kirkeby and Robert Gl{\"u}ck},
 year         = {2020},
 title        = {Inversion framework: reasoning about inversion by conditional term rewriting systems},
 booktitle    = {Principles and Practice of Declarative Programming. Proceedings},
 publisher    = {ACM},
 pages        = {Article 9},
 doi          = {10.1145/3414080.3414089},
)
@inproceedings(KirGlu:19,
 author       = {Maja H. Kirkeby and Robert Gl{\"u}ck},
 year         = {2020},
 title        = {Semi-inversion of conditional constructor term rewriting systems},
 editor       = {Maurizio Gabbrielli},
 booktitle    = {Logic-based Program Synthesis and Transformation. Proceedings},
 series       = {LNCS 12042},
 publisher    = {Springer},
 pages        = {243--259},
 doi          = {10.1007/978-3-030-45260-5\_15},
)
@article(Kop2017,
 author       = {Cynthia Kop and Aart Middeldorp and Thomas Sternagel},
 year         = {2017},
 title        = {{Complexity of conditional term rewriting}},
 journal      = {Logical Methods in Computer Science},
 volume       = {13},
 number       = {1:6},
 doi          = {10.23638/LMCS-13(1:6)2017},
)
@article(Metayer1988,
 author       = {{Le M{\'{e}}tayer}, Daniel},
 year         = {1988},
 title        = {{ACE: an automatic complexity evaluator}},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {10},
 number       = {2},
 pages        = {248--266},
 doi          = {10.1145/42190.42347},
)
@article(Nagashima2012,
 author       = {Masanori Nagashima and Masahiko Sakai and Toshiki Sakabe},
 year         = {2012},
 title        = {Determinization of conditional term rewriting systems},
 journal      = {TCS},
 volume       = {464},
 doi          = {10.1016/j.tcs.2012.09.005},
)
@inproceedings(Navas2007,
 author       = {Jorge Navas and Edison Mera and L{\'o}pez-Garc{\'i}a, Pedro and Manuel V. Hermenegildo},
 year         = {2007},
 title        = {User-definable resource bounds analysis for logic programs},
 editor       = {V{\'e}ronica Dahl and Ilkka Niemel{\"a}},
 booktitle    = {Logic Programming. Proceedings},
 series       = {LNCS 4670},
 publisher    = {Springer},
 pages        = {348--363},
 doi          = {10.1007/978-3-540-74610-2_24},
)
@phdthesis(Nishida2004,
 author       = {Naoki Nishida},
 year         = {2004},
 title        = {Transformational Approach to Inverse Computation in Term Rewriting},
 school       = {Graduate School of Engineering, Nagoya University},
 address      = {Japan},
)
@inproceedings(Nishida2005,
 author       = {Naoki Nishida and Masahiko Sakai and Toshiki Sakabe},
 year         = {2005},
 title        = {Partial inversion of constructor term rewriting systems},
 editor       = {J\"urgen Giesl},
 booktitle    = {Rewriting Techniques and Applications. Proceedings},
 series       = {LNCS 3467},
 publisher    = {Springer},
 pages        = {264--278},
 doi          = {10.1007/978-3-540-32033-3\_20},
)
@book(Ohlebusch2002,
 author       = {Enno Ohlebusch},
 year         = {2002},
 title        = {Advanced Topics in Term Rewriting},
 publisher    = {Springer},
 address      = {New York},
 doi          = {10.1007/978-1-4757-3661-8},
)
@inproceedings(Romanenko1988,
 author       = {Alexander Y. Romanenko},
 year         = {1988},
 title        = {The generation of inverse functions in {Refal}},
 editor       = {Bj{\o}rner, Dines and Andrei P. Ershov and Neil D. Jones},
 booktitle    = {Partial Evaluation and Mixed Computation},
 publisher    = {North-Holland},
 pages        = {427--444},
)
@inproceedings(Romanenko1991,
 author       = {Alexander Y. Romanenko},
 year         = {1991},
 title        = {Inversion and metacomputation},
 booktitle    = {Partial Evaluation and Semantics-Based Program Manipulation. Proceedings},
 publisher    = {ACM},
 pages        = {12--22},
 doi          = {10.1145/115865.115868},
)
@article(Turchin:86,
 author       = {Valentin F. Turchin},
 year         = {1986},
 title        = {The concept of a supercompiler},
 journal      = {ACM TOPLAS},
 volume       = {8},
 number       = {3},
 pages        = {292--325},
 doi          = {10.1145/5956.5957},
)