@book(BN98,
 author       = "F. Baader and T. Nipkow",
 year         = "1998",
 title        = "{Term Rewriting and All That}",
 publisher    = "Cambridge University Press",
 url          = "http://dx.doi.org/10.2277/0521779200",
)
@phdthesis(End10,
 author       = "J. Endrullis",
 year         = "2010",
 title        = "{Termination and Productivity}",
 school       = "Vrije Universiteit Amsterdam",
 url          = "http://hdl.handle.net/1871/15879",
)
@inproceedings(EGH08,
 author       = "J. Endrullis and C. Grabmayer and D. Hendriks",
 year         = "2008",
 title        = "{Data-oblivious Stream Productivity}",
 booktitle    = "Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)",
 series       = "Lecture {N}otes in {C}omputer {S}cience",
 volume       = "5330",
 publisher    = "Springer-Verlag",
 pages        = "79--96",
 url          = "http://dx.doi.org/10.1007/978-3-540-89439-1_6",
 note         = "Web interface tool: \url {http://infinity.few.vu.nl/productivity/}",
)
@inproceedings(EGH09,
 author       = "J. Endrullis and C. Grabmayer and D. Hendriks",
 year         = "2009",
 title        = "{Complexity of {Fractran} and Productivity}",
 booktitle    = "Proceedings of the 22nd Conference on Automated Deduction (CADE'09)",
 series       = "Lecture {N}otes in {C}omputer {S}cience",
 volume       = "5663",
 publisher    = "Springer-Verlag",
 pages        = "371--387",
 url          = "http://dx.doi.org/10.1007/978-3-642-02959-2_28",
)
@article(EH11,
 author       = "J. Endrullis and D. Hendriks",
 year         = "2011",
 title        = "{Lazy Productivity via Termination}",
 journal      = "Theoretical {C}omputer {S}cience",
 volume       = "412",
 number       = "28",
 pages        = "3203--3225",
 url          = "http://dx.doi.org/10.1016/j.tcs.2011.03.024",
)
@inproceedings(AProVE06,
 author       = "J. Giesl and P. Schneider-Kamp and R. Thiemann",
 year         = "2006",
 title        = "{AProVE} 1.2: {A}utomatic {T}ermination {P}roofs in the {D}ependency {P}air {F}ramework",
 booktitle    = "Proceedings of the 3rd International Joint Conference on Automatic Reasoning (IJCAR'06)",
 series       = "Lecture {N}otes in {C}omputer {S}cience",
 volume       = "4130",
 publisher    = "Springer-Verlag",
 pages        = "281--286",
 url          = "http://dx.doi.org/10.1007/11814771_24",
 note         = "Web interface tool: \url {http://aprove.informatik.rwth-aachen.de}",
)
@article(L98,
 author       = "S. Lucas",
 year         = "1998",
 title        = "{Context-sensitive Computations in Functional and Functional Logic Programs}",
 journal      = "Journal of Functional and Logic Programming",
 volume       = "1998",
 number       = "1",
 url          = "http://mitpress.mit.edu/e-journals/JFLP/articles/1998/A98-01/A98-01.html",
)
@article(L02,
 author       = "S. Lucas",
 year         = "2002",
 title        = "{Context-Sensitive Rewrite Strategies}",
 journal      = "Information and Computation",
 volume       = "178",
 number       = "1",
 pages        = "294--343",
 url          = "http://dx.doi.org/10.1006/inco.2002.3176",
)
@misc(OpenCellLibrary08_10_SP1,
 author       = "{Nangate Inc.}",
 year         = "2008",
 title        = "{Open Cell Library v2008\_10 SP1}",
 url          = "http://www.nangate.com/openlibrary/",
)
@book(Haskell98,
 author       = "S. {Peyton Jones}",
 year         = "2003",
 title        = "{{\sf Haskell 98} Language and Libraries: The Revised Report}",
 publisher    = "Cambridge University Press",
 url          = "http://www.haskell.org/definition",
)
@book(Terese03,
 author       = "Terese",
 year         = "2003",
 title        = "{Term Rewriting Systems}",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
 address      = "Cambridge, UK",
 url          = "http://dx.doi.org/10.2277/0521391156",
)
@inproceedings(Z08,
 author       = "H. Zantema",
 year         = "2008",
 title        = "{Normalization of Infinite Terms}",
 booktitle    = "Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA'08)",
 series       = "Lecture {N}otes in {C}omputer {S}cience",
 volume       = "5117",
 publisher    = "Springer-Verlag",
 pages        = "441--455",
 url          = "http://dx.doi.org/10.1007/978-3-540-70590-1_30",
)
@inproceedings(Z09,
 author       = "H. Zantema",
 year         = "2009",
 title        = "{Well-definedness of Streams by Termination}",
 booktitle    = "Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA'09)",
 series       = "Lecture {N}otes in {C}omputer {S}cience",
 volume       = "5595",
 publisher    = "Springer-Verlag",
 pages        = "164--178",
 url          = "http://dx.doi.org/10.1007/978-3-642-02348-4_12",
)
@inproceedings(ZR10,
 author       = "H. Zantema and M. Raffelsieper",
 year         = "2010",
 title        = "{Proving Productivity in Infinite Data Structures}",
 booktitle    = "Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10)",
 series       = "Leibniz International Proceedings in Informatics (LIPIcs)",
 volume       = "6",
 publisher    = "Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik",
 pages        = "401--416",
 url          = "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.401",
)
@inproceedings(ZR09,
 author       = "H. Zantema and M. Raffelsieper",
 year         = "2010",
 title        = "{Stream Productivity by Outermost Termination}",
 booktitle    = "Proceedings of the 9th International Workshop in Reduction Strategies in Rewriting and Programming (WRS'09)",
 series       = "{Electronic Proceedings in Theoretical Computer Science}",
 volume       = "15",
 url          = "http://dx.doi.org/10.4204/EPTCS.15.7",
)