@article(Bille:2011,
 author       = "Philip Bille and Inge Li G{\o }rtz",
 year         = "2011",
 title        = "The tree inclusion problem: In linear space and faster",
 journal      = "ACM Trans. Algorithms",
 volume       = "7",
 number       = "3",
 pages        = "38:1--38:47",
 doi          = "10.1145/1978782.1978793",
)
@inproceedings(Dershowitz:1979,
 author       = "Nachum Dershowitz",
 year         = "1979",
 title        = "Orderings for term-rewriting systems",
 booktitle    = "Proceedings of the 20th Annual Symposium on Foundations of Computer Science",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "123--131",
 doi          = "10.1109/SFCS.1979.32",
 url          = "http://dl.acm.org/citation.cfm?id=1398508.1382612",
)
@article(Kruskal:1960,
 author       = "Joseph B. Kruskal",
 year         = "1960",
 title        = "Well-quasi-ordering, the Tree Theorem, and {V}azsonyi's conjecture",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "95",
 pages        = "210 -- 225",
 doi          = "10.2307/1993287",
)
@inproceedings(Leuschel:1998,
 author       = "Michael Leuschel",
 year         = "1998",
 title        = "On the Power of Homeomorphic Embedding for Online Termination",
 booktitle    = "Static Analysis. Proceedings of SAS'98, LNCS 1503",
 publisher    = "Springer-Verlag",
 pages        = "230--245",
 doi          = "10.1007/3-540-49727-7\_14",
)
@inproceedings(Leuschel:2002,
 author       = "Michael Leuschel",
 year         = "2002",
 title        = "Homeomorphic embedding for online termination of symbolic methods",
 booktitle    = "The essence of computation, LNCS 2566",
 publisher    = "Springer-Verlag",
 pages        = "379--403",
 doi          = "10.1007/3-540-36377-7\_17",
)
@inproceedings(Mitchell:2010,
 author       = "Neil Mitchell",
 year         = "2010",
 title        = "Rethinking supercompilation",
 booktitle    = "Proceedings of ICFP'2010, the 15th ACM SIGPLAN international conference on Functional programming",
 series       = "SIGPLAN Notices 45(9)",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "309--320",
 doi          = "10.1145/1863543.1863588",
)
@misc(Dave-homepage,
 author       = "Dave Schmidt",
 year         = "Sampled May 2013",
 title        = "Homepage",
 howpublished = "http://people.cis.ksu.edu/$\sim $schmidt/",
 url          = "http://people.cis.ksu.edu/~schmidt/",
)
@inproceedings(Sorensen:1995,
 author       = "Morten H. S{\o }rensen and Robert Gl{\"u}ck",
 year         = "1995",
 title        = "An Algorithm of Generalization in Positive Supercompilation",
 booktitle    = "Proceedings of ILPS'95, the International Logic Programming Symposium",
 publisher    = "MIT Press",
 pages        = "465--479",
 doi          = "10.1.1.49.1869",
)
@misc(Wehrman:2006,
 author       = "Ian Wehrman",
 year         = "2006",
 title        = "Higman's Theorem and the Multiset Order",
 howpublished = "http://www.cs.utexas.edu/$\sim $iwehrman/pub/ms-wqo.pdf",
 url          = "http://www.cs.utexas.edu/~iwehrman/pub/ms-wqo.pdf",
)