@inproceedings(nonleftmost,
 author       = {Elvira Albert and Germ{\'a}n Puebla and John P. Gallagher},
 year         = {2006},
 title        = {Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates},
 editor       = {Patricia M. Hill},
 booktitle    = {Logic Based Program Synthesis and Transformation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {115--132},
 doi          = {10.1007/11680093\_8},
)
@inproceedings(SCBE,
 author       = {Maximilian C. Bolingbroke and Simon L. Peyton Jones},
 year         = {2010},
 title        = {Supercompilation by evaluation},
 editor       = {Jeremy Gibbons},
 booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
 publisher    = {{ACM}},
 pages        = {135--146},
 doi          = {10.1145/1863523.1863540},
)
@article(bulyonkov84,
 author       = {Mikhail A. Bulyonkov},
 year         = {1984},
 title        = {Polyvariant Mixed Computation for Analyzer Programs},
 journal      = {Acta Informatica},
 volume       = {21},
 number       = {5},
 pages        = {473--484},
 doi          = {10.1007/BF00271642},
)
@inproceedings(byrd2012minikanren,
 author       = {William E. Byrd and Eric Holk and Daniel P. Friedman},
 year         = {2012},
 title        = {miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl)},
 booktitle    = {Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming},
 pages        = {8--29},
 doi          = {10.1145/2661103.2661105},
)
@inproceedings(chin1993towards,
 author       = {Wei-Ngan Chin},
 year         = {1993},
 title        = {Towards an Automated Tupling Strategy},
 booktitle    = {Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 series       = {PEPM '93},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {119\IeC{\textendash}--132},
 doi          = {10.1145/154630.154643},
)
@article(de1999conjunctive,
 author       = {De Schreye, Danny and Robert Gl{\"u}ck and J{\o}rgensen, Jesper and Michael Leuschel and Bern Martens and S{\o}rensen, Morten Heine B.},
 year         = {1999},
 title        = {Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments},
 journal      = {The Journal of Logic Programming},
 volume       = {41},
 number       = {2-3},
 pages        = {231--277},
 doi          = {10.1016/S0743-1066(99)00030-8},
)
@book(TheReasonedSchemer,
 author       = {Daniel P. Friedman and William E. Byrd and Oleg Kiselyov},
 year         = {2005},
 title        = {The Reasoned Schemer},
 publisher    = {The MIT Press},
 doi          = {10.7551/mitpress/5801.001.0001},
)
@inproceedings(gallagher1993tutorial,
 author       = {John P. Gallagher},
 year         = {1993},
 title        = {Tutorial on Specialisation of Logic Programs},
 booktitle    = {Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 series       = {PEPM '93},
 address      = {New York, NY, USA},
 pages        = {88--98},
 doi          = {10.1145/154630.154640},
)
@inproceedings(gluck1994partial,
 author       = {Robert Gl{\"u}ck and S{\o}rensen, Morten Heine B.},
 year         = {1994},
 title        = {Partial Deduction and Driving are Equivalent},
 booktitle    = {International Symposium on Programming Language Implementation and Logic Programming},
 organization = {Springer},
 pages        = {165--181},
 doi          = {10.1007/3-540-58402-1_13},
)
@inproceedings(hamilton2007distillation,
 author       = {Geoff W. Hamilton},
 year         = {2007},
 title        = {Distillation: Extracting the Essence of Programs},
 booktitle    = {Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 series       = {PEPM '07},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {61--70},
 doi          = {10.1145/1244381.1244391},
)
@inproceedings(friedmanmukanren,
 author       = {Jason Hemann and Daniel P. Friedman},
 year         = {2013},
 title        = {$\mu$Kanren: A Minimal Functional Core for Relational Programming},
 booktitle    = {Proceedings of the 2013 Workshop on Scheme and Functional Programming (Scheme'13)},
 url          = {http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf},
)
@inproceedings(Higman52,
 author       = {Graham Higman},
 year         = {1952},
 title        = {Ordering by Divisibility in Abstract Algebras},
 booktitle    = {Proceedings of the London Mathematical Society},
 volume       = {2},
 pages        = {326--336},
 doi          = {10.1112/plms/s3-2.1.326},
)
@book(jonesbook,
 author       = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
 year         = {1993},
 title        = {Partial Evaluation and Automatic Program Generation},
 series       = {Prentice Hall international series in computer science},
 publisher    = {Prentice Hall, Inc},
 address      = {USA},
)
@inproceedings(TCES,
 author       = {Peter A. Jonsson and Johan Nordlander},
 year         = {2011},
 title        = {Taming Code Explosion in Supercompilation},
 editor       = {Siau{-}Cheng Khoo and Jeremy G. Siek},
 booktitle    = {Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation},
 series       = {PEPM '11},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {33--42},
 doi          = {10.1145/1929501.1929507},
)
@inproceedings(10.1145/1090189.1086390,
 author       = {Oleg Kiselyov and Chung-chieh Shan and Daniel P. Friedman and Amr Sabry},
 year         = {2005},
 title        = {Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl)},
 booktitle    = {Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '05},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {192\IeC{\textendash}--203},
 doi          = {10.1145/1086365.1086390},
)
@article(Kruskal60,
 author       = {Joseph B. Kruskal},
 year         = {1960},
 title        = {Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {95},
 number       = {2},
 pages        = {210--225},
 doi          = {10.2307/1993287},
)
@article(leuschel1997advanced,
 author       = {Michael Leuschel},
 year         = {1997},
 title        = {Advanced Techniques for Logic Program Specialisation},
 url          = {https://lirias.kuleuven.be/retrieve/390873},
)
@inproceedings(leuschel1997ecce,
 author       = {Michael Leuschel},
 year         = {1997},
 title        = {The Ecce Partial Deduction System},
 booktitle    = {Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, German Puebla, Universidad Polit\IeC{\'e}cnica de Madrid Tech. Rep. CLIP7/97.1},
)
@article(leuschel2002logic,
 author       = {Michael Leuschel and Maurice Bruynooghe},
 year         = {2002},
 title        = {Logic Program Specialisation through Partial Deduction: Control Issues},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {2},
 number       = {4-5},
 pages        = {461--515},
 doi          = {10.1017/S147106840200145X},
)
@inproceedings(LeuschelEVCF06,
 author       = {Michael Leuschel and Dan Elphick and Mauricio Varea and Stephen-John Craig and Marc Fontaine},
 year         = {2006},
 title        = {The Ecce and Logen Partial Evaluators and Their Web Interfaces},
 editor       = {John Hatcliff and Frank Tip},
 booktitle    = {Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 series       = {PEPM '06},
 publisher    = {Association for Computing Machinery},
 pages        = {88--94},
 doi          = {10.1145/1111542.1111557},
)
@inproceedings(leuschel1996redundant,
 author       = {Michael Leuschel and S{\o}rensen, Morten Heine B.},
 year         = {1996},
 title        = {Redundant Argument Filtering of Logic Programs},
 booktitle    = {International Workshop on Logic Programming Synthesis and Transformation},
 organization = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {83--103},
 doi          = {10.1007/3-540-62718-9_6},
)
@article(leuschel2014fast,
 author       = {Michael Leuschel and Germ{\'a}n Vidal},
 year         = {2014},
 title        = {Fast Offline Partial Evaluation of Logic Programs},
 journal      = {Information and Computation},
 volume       = {235},
 pages        = {70--97},
 doi          = {10.1016/j.ic.2014.01.005},
)
@article(lloyd1991partial,
 author       = {John W. Lloyd and John C. Shepherdson},
 year         = {1991},
 title        = {Partial Evaluation in Logic Programming},
 journal      = {The Journal of Logic Programming},
 volume       = {11},
 number       = {3-4},
 pages        = {217--242},
 doi          = {10.1016/0743-1066(91)90027-M},
)
@inproceedings(lozov2019relational,
 author       = {Petr Lozov and Ekaterina Verbitskaia and Dmitry Boulytchev},
 year         = {2019},
 title        = {Relational Interpreters for Search Problems},
 booktitle    = {miniKanren and Relational Programming Workshop},
 pages        = {43},
 url          = {http://minikanren.org/workshop/2019/minikanren19-final3.pdf},
)
@inproceedings(lozov2017typed,
 author       = {Petr Lozov and Andrei Vyatkin and Dmitry Boulytchev},
 year         = {2017},
 title        = {Typed Relational Conversion},
 booktitle    = {International Symposium on Trends in Functional Programming},
 organization = {Springer},
 pages        = {39--58},
 doi          = {10.1007/978-3-319-89719-6_3},
)
@inproceedings(SCHC,
 author       = {Neil Mitchell and Colin Runciman},
 year         = {2007},
 title        = {A Supercompiler for Core Haskell},
 editor       = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k},
 booktitle    = {Implementation and Application of Functional Languages, 19th International Workshop},
 series       = {Lecture Notes in Computer Science},
 volume       = {5083},
 publisher    = {Springer},
 address      = {Freiburg, Germany},
 pages        = {147--164},
 doi          = {10.1007/978-3-540-85373-2\_9},
)
@book(muchnick1997advanced,
 author       = {Steven Muchnick},
 year         = {1997},
 title        = {Advanced Compiler Design Implementation},
 publisher    = {Morgan kaufmann},
)
@inproceedings(pettorossi1984powerful,
 author       = {Alberto Pettorossi},
 year         = {1984},
 title        = {A Powerful Strategy for Deriving Efficient Programs by Transformation},
 booktitle    = {Proceedings of the 1984 ACM Symposium on LISP and Functional Programming},
 series       = {LFP '84},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {273--281},
 doi          = {10.1145/800055.802044},
)
@inproceedings(rozplokhas2020certified,
 author       = {Dmitry Rozplokhas and Andrey Vyatkin and Dmitry Boulytchev},
 year         = {2020},
 title        = {Certified Semantics for Relational Programming},
 editor       = {Bruno C. d. S. Oliveira},
 booktitle    = {Asian Symposium on Programming Languages and Systems},
 organization = {Springer},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {167--185},
 doi          = {10.1007/978-3-030-64437-6_9},
)
@inproceedings(sorensen1998convergence,
 author       = {S{\o}rensen, Morten Heine B.},
 year         = {1998},
 title        = {Convergence of Program Transformers in the Metric Space of Trees},
 booktitle    = {International Conference on Mathematics of Program Construction},
 organization = {Springer},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {315--337},
 doi          = {10.1007/BFb0054297},
)
@article(soerensen1996positive,
 author       = {S{\o}rensen, Morten Heine B. and Robert Gl{\"u}ck and Neil D. Jones},
 year         = {1996},
 title        = {A Positive Supercompiler},
 journal      = {Journal of functional programming},
 volume       = {6},
 number       = {6},
 pages        = {811--838},
 doi          = {10.1017/S0956796800002008},
)
@article(turchin1986concept,
 author       = {Valentin F. Turchin},
 year         = {1986},
 title        = {The Concept of a Supercompiler},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {8},
 number       = {3},
 pages        = {292\IeC{\textendash}--325},
 doi          = {10.1145/5956.5957},
)
@article(venken1988partial,
 author       = {Raf Venken and Bart Demoen},
 year         = {1988},
 title        = {A Partial Evaluation System for Prolog: Some Practical Considerations},
 journal      = {New Generation Computing},
 volume       = {6},
 number       = {2-3},
 pages        = {279--290},
 doi          = {10.1007/BF03037142},
)
@article(vidal2004cost,
 author       = {Germ{\'a}n Vidal},
 year         = {2004},
 title        = {Cost-Augmented Partial Evaluation of Functional Logic Programs},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {17},
 number       = {1},
 pages        = {7--46},
 doi          = {10.1023/B:LISP.0000029447.02190.42},
)
@inproceedings(vidal2008trace,
 author       = {Germ{\'a}n Vidal},
 year         = {2008},
 title        = {Trace Analysis for Predicting the Effectiveness of Partial Evaluation},
 booktitle    = {International Conference on Logic Programming},
 organization = {Springer},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {790--794},
 doi          = {10.1007/978-3-540-89982-2\_78},
)
@inproceedings(hybrid,
 author       = {Germ{\'a}n Vidal},
 year         = {2011},
 title        = {A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs},
 editor       = {Mar{\'i}a Alpuente},
 booktitle    = {Logic-Based Program Synthesis and Transformation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {200--214},
 doi          = {10.1007/978-3-642-20551-4\_13},
)
@article(deforestation,
 author       = {Philip Wadler},
 year         = {1990},
 title        = {Deforestation: Transforming Programs to Eliminate Trees},
 journal      = {Theoretical Computer Science},
 volume       = {73},
 number       = {2},
 pages        = {231--248},
 doi          = {10.1016/0304-3975(90)90147-A},
)