@article(AlaGutLuc_CSDPs_IC10, author = {Beatriz Alarc{\'{o}}n and Ra{\'{u}}l Guti{\'{e}}rrez and Salvador Lucas}, year = {2010}, title = {Context-sensitive dependency pairs}, journal = {Inf. Comput.}, volume = {208}, number = {8}, pages = {922--968}, doi = {10.1016/j.ic.2010.03.003}, ) @inproceedings(AlaGutLucNav_ProvingTerminationPropertiesWithMUTERM_AMAST10, author = {Beatriz Alarc{\'{o}}n and Ra{\'{u}}l Guti{\'{e}}rrez and Salvador Lucas and Navarro{-}Marset, Rafael}, year = {2010}, title = {Proving Termination Properties with mu-term}, editor = {Michael Johnson and Dusko Pavlovic}, booktitle = {Algebraic Methodology and Software Technology - 13th International Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6486}, publisher = {Springer}, pages = {201--208}, doi = {10.1007/978-3-642-17796-5\_12}, ) @inproceedings(Antoy_DefTrees_ALP92, author = {Sergio Antoy}, year = {1992}, title = {Definitional Trees}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Giorgio Levi}, booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {632}, publisher = {Springer}, pages = {143--157}, doi = {10.1007/BFb0013825}, ) @book(BaaNip_TermRewAllThat_1998, author = {Franz Baader and Tobias Nipkow}, year = {1998}, title = {Term rewriting and all that}, publisher = {Cambridge University Press}, ) @proceedings(ClavelEtAl_MaudeBook_2007, editor = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Mart{\'{\i}}{-}Oliet, Narciso and Jos{\'{e}} Meseguer and Carolyn L. Talcott}, year = {2007}, title = {All About Maude - {A} High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, series = {Lecture Notes in Computer Science}, volume = {4350}, publisher = {Springer}, doi = {10.1007/978-3-540-71999-1}, ) @article(DershKapPlais_RewRewRewRewRew_TCS91, author = {Nachum Dershowitz and St{\'{e}}phane Kaplan and David A. Plaisted}, year = {1991}, title = {Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . .}, journal = {Theor. Comput. Sci.}, volume = {83}, number = {1}, pages = {71--96}, doi = {10.1016/0304-3975(91)90040-9}, ) @article(EndGraHenIsiKlo_ProductivityOfStreamDefinitions_TCS10, author = {J{\"{o}}rg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Ariya Isihara and Jan Willem Klop}, year = {2010}, title = {Productivity of stream definitions}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {4-5}, pages = {765--782}, doi = {10.1016/j.tcs.2009.10.014}, ) @article(EndHen_LazyProductivityViaTermination_TCS11, author = {J{\"{o}}rg Endrullis and Dimitri Hendriks}, year = {2011}, title = {Lazy productivity via termination}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {28}, pages = {3203--3225}, doi = {10.1016/j.tcs.2011.03.024}, ) @inproceedings(FutGogJouaMes_PrincOfOBJ2_POPL85, author = {Kokichi Futatsugi and Joseph A. Goguen and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, year = {1985}, title = {Principles of {OBJ2}}, editor = {Mary S. Van Deusen and Zvi Galil and Brian K. Reid}, booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985}, publisher = {{ACM} Press}, pages = {52--66}, doi = {10.1145/318593.318610}, ) @inproceedings(FutNak_AnOvCafeSpecEnv_ICFEM97, author = {Kokichi Futatsugi and Ataru T. Nakagawa}, year = {1997}, title = {An Overview of {CAFE} Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks}, booktitle = {{ICFEM}}, pages = {170}, doi = {10.1109/ICFEM.1997.630424}, ) @inproceedings(GieSchThi_AproveForDPFramework_IJCAR06, author = {J{\"{u}}rgen Giesl and Schneider{-}Kamp, Peter and Ren{\'{e}} Thiemann}, year = {2006}, title = {Automatic Termination Proofs in the Dependency Pair Framework}, editor = {Ulrich Furbach and Natarajan Shankar}, booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4130}, publisher = {Springer}, pages = {281--286}, doi = {10.1007/11814771\_24}, ) @incollection(GogWinMesFutJou_IntrodOBJ_2000, author = {Joseph Goguen and Timothy Winkler and Jos\'e Meseguer and Kokichi Futatsugi and Jean-Pierre Jouannaud}, year = {2000}, title = {Introducing {OBJ}}, booktitle = {Software Engineering with OBJ: Algebraic Specification in Action}, publisher = {Kluwer}, pages = {3--167}, doi = {10.1007/978-1-4757-6541-0}, ) @inproceedings(HenMes_CompletenessOfCSOSSpec_RTA07, author = {Joe Hendrix and Jos{\'{e}} Meseguer}, year = {2007}, title = {On the Completeness of Context-Sensitive Order-Sorted Specifications}, editor = {Franz Baader}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, publisher = {Springer}, pages = {229--245}, doi = {10.1007/978-3-540-73449-9\_18}, ) @article(HudPeyWad_RepFuncProgLangHaskell_SN92, author = {Paul Hudak and Simon L. Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph H. Fasel and Mar{\'{\i}}a M. Guzm{\'{a}}n and Kevin Hammond and John Hughes and Thomas Johnsson and Richard B. Kieburtz and Rishiyur S. Nikhil and Will Partain and John Peterson}, year = {1992}, title = {Report on the Programming Language Haskell, {A} Non-strict, Purely Functional Language}, journal = {{SIGPLAN} Notices}, volume = {27}, number = {5}, pages = {1}, doi = {10.1145/130697.130699}, ) @article(KennaKlopSleepVries_TransRedOrtTRS_IC95, author = {Richard Kennaway and Jan Willem Klop and M. Ronan Sleep and Fer{-}Jan de Vries}, year = {1995}, title = {Transfinite Reductions in Orthogonal Term Rewriting Systems}, journal = {Inf. Comput.}, volume = {119}, number = {1}, pages = {18--38}, doi = {10.1006/inco.1995.1075}, ) @inproceedings(Lucas_FundamentalsCSRR_SOFSEM95, author = {Salvador Lucas}, year = {1995}, title = {Fundamentals of Context=Sensitive Rewriting}, editor = {Miroslav Bartosek and Jan Staudek and Jir{\'{\i}} Wiedermann}, booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1012}, publisher = {Springer}, pages = {405--412}, doi = {10.1007/3-540-60609-2\_25}, ) @inproceedings(Lucas_CSCompConfProg_PLILP96, author = {Salvador Lucas}, year = {1996}, title = {Context-Sensitive Computations in Confluent Programs}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, publisher = {Springer}, pages = {408--422}, doi = {10.1007/3-540-61756-6\_100}, ) @inproceedings(Lucas_NeedRedCSRR_ALP97, author = {Salvador Lucas}, year = {1997}, title = {Needed Reductions with Context-Sensitive Rewriting}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, {ALP} '97 - {HOA} '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1298}, publisher = {Springer}, pages = {129--143}, doi = {10.1007/BFb0027007}, ) @inproceedings(Lucas_TransfEfEvFP_PLILP97, author = {Salvador Lucas}, year = {1997}, title = {Transformations for Efficient Evaluations in Functional Programming}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, publisher = {Springer}, pages = {127--141}, doi = {10.1007/BFb0033841}, ) @article(Lucas_CScompFuncFunLogProg_JFLP98, author = {Salvador Lucas}, year = {1998}, title = {Context-sensitive Computations in Functional and Functional Logic Programs}, journal = {Journal of Functional and Logic Programming}, volume = {1998}, number = {1}, ) @article(Lucas_CSRewStrat_IC02, author = {Salvador Lucas}, year = {2002}, title = {Context-Sensitive Rewriting Strategies}, journal = {Inf. Comput.}, volume = {178}, number = {1}, pages = {294--343}, doi = {10.1006/inco.2002.3176}, ) @article(Lucas_CompletenessOfContextSensitiveRewriting_IPL15, author = {Salvador Lucas}, year = {2015}, title = {Completeness of context-sensitive rewriting}, journal = {Inf. Process. Lett.}, volume = {115}, number = {2}, pages = {87--92}, doi = {10.1016/j.ipl.2014.07.004}, ) @inproceedings(Midd_CBNCompRootStableForm_POPL97, author = {Aart Middeldorp}, year = {1997}, title = {Call by Need Computations to Root-Stable Form}, editor = {Peter Lee and Fritz Henglein and Neil D. Jones}, booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997}, publisher = {{ACM} Press}, pages = {94--105}, doi = {10.1145/263699.263711}, ) @article(NakOgaFut_ReducOpSymbolsAndBehavSpec_JSC10, author = {Masaki Nakamura and Kazuhiro Ogata and Kokichi Futatsugi}, year = {2010}, title = {Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications}, journal = {J. Symb. Comput.}, volume = {45}, number = {5}, pages = {551--573}, doi = {10.1016/j.jsc.2010.01.008}, ) @book(Ohlebusch_AdvTopicsTermRew_2002, author = {Enno Ohlebusch}, year = {2002}, title = {Advanced topics in term rewriting}, publisher = {Springer}, doi = {10.1007/978-1-4757-3661-8}, ) @inproceedings(Raffelsieper_ProductivityOfNonOrthogonalTRSs_EPTCS12, author = {Matthias Raffelsieper}, year = {2011}, title = {Productivity of Non-Orthogonal Term Rewrite Systems}, editor = {Santiago Escobar}, booktitle = {Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2011, Novi Sad, Serbia, 29 May 2011.}, series = {{EPTCS}}, volume = {82}, pages = {53--67}, doi = {10.4204/EPTCS.82.4}, ) @article(Sijtsma_ProductivityOfRecursiveListDefinitions_TOPLAS89, author = {Ben A. Sijtsma}, year = {1989}, title = {On the Productivity of Recursive List Definitions}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {11}, number = {4}, pages = {633--649}, doi = {10.1145/69558.69563}, ) @book(Terese_TermRewritingSystems_2003, author = {editor {T}e{R}e{S}e}, year = {2003}, title = {Term Rewriting Systems}, publisher = {Cambridge University Press}, ) @inproceedings(ZanRaf_StreamProductivityOutermostTermination_EPTCS09, author = {Hans Zantema and Matthias Raffelsieper}, year = {2009}, title = {Stream Productivity by Outermost Termination}, editor = {Maribel Fern{\'{a}}ndez}, booktitle = {Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2009, Brasilia, Brazil, 28th June 2009.}, series = {{EPTCS}}, volume = {15}, pages = {83--95}, doi = {10.4204/EPTCS.15.7}, ) @inproceedings(ZanRaf_ProvingProdInInfDataStructures_RTA10, author = {Hans Zantema and Matthias Raffelsieper}, year = {2010}, title = {Proving Productivity in Infinite Data Structures}, editor = {Christopher Lynch}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland, {UK}}, series = {LIPIcs}, volume = {6}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, pages = {401--416}, doi = {10.4230/LIPIcs.RTA.2010.401}, )