{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:41:15Z","timestamp":1748367675027,"version":"3.37.3"},"reference-count":33,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T00:00:00Z","timestamp":1514505600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"funder":[{"DOI":"10.13039\/501100004801","name":"Rustaveli National Science Foundation","doi-asserted-by":"publisher","award":["POCI-01-0145-FEDER-006961","YS15_2.1.2_70"],"award-info":[{"award-number":["POCI-01-0145-FEDER-006961","YS15_2.1.2_70"]}],"id":[{"id":"10.13039\/501100004801","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 24087-N18","P 28789-N32"],"award-info":[{"award-number":["P 24087-N18","P 28789-N32"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["POCI-01-0145-FEDER-006961"],"award-info":[{"award-number":["POCI-01-0145-FEDER-006961"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006129","name":"Fuel Cycle Technologies","doi-asserted-by":"publisher","award":["UID\/EEA\/50014\/2013"],"award-info":[{"award-number":["UID\/EEA\/50014\/2013"]}],"id":[{"id":"10.13039\/100006129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3,27]]},"DOI":"10.1093\/jigpal\/jzx059","type":"journal-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T15:15:51Z","timestamp":1511450151000},"page":"203-243","source":"Crossref","is-referenced-by-count":2,"title":["Pattern-based calculi with finitary matching"],"prefix":"10.1093","volume":"26","author":[{"given":"Sandra","family":"Alves","sequence":"first","affiliation":[{"name":"CRACS\/INESCTEC, Faculty of Sciences, University of Porto, Portugal"}]},{"given":"Besik","family":"Dundua","sequence":"additional","affiliation":[{"name":"VIAM, Ivane Javakhishvili Tbilisi State University, Georgia"}]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Sciences & LIACC, University of Porto, Portugal"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[{"name":"RISC, Johannes Kepler University Linz, Austria"}]}],"member":"286","published-online":{"date-parts":[[2017,12,29]]},"reference":[{"key":"key\n\t\t\t\t20180328164340_C1","first-page":"17","article-title":"Linear-algebraic lambda-calculus: higher-order, encodings, and confluence","volume-title":"Rewriting Techniques and Applications, 19th International Conference, RTA 2008","author":"Arrighi","year":"2008"},{"volume-title":"Term Rewriting and Applications, 18th International Conference, RTA 2007","year":"2007","author":"Baader","key":"key\n\t\t\t\t20180328164340_C2"},{"key":"key\n\t\t\t\t20180328164340_C3","unstructured":"E. Balland , P.Brauner, R.Kopetz, P.Moreau and A.Reilles. Tom: piggybacking rewriting on Java. In: Baader (2007), pp. 36--47, 2007."},{"article-title":"The Lambda Calculus: Its Syntax and Semantics. North-Holland, revised edition","year":"1984","author":"Barendregt","key":"key\n\t\t\t\t20180328164340_C4"},{"key":"key\n\t\t\t\t20180328164340_C5","first-page":"117","article-title":"Normalisation for dynamic pattern calculi","volume-title":"23rd International Conference on Rewriting Techniques and Applications (RTA\u201912), RTA 2012","author":"Bonelli","year":"2012"},{"key":"key\n\t\t\t\t20180328164340_C6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S1571-0661(04)00032-5","article-title":"ELAN: A logical framework based on computational systems","volume":"4","author":"Borovansk\u00fd","year":"1996","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180328164340_C7","doi-asserted-by":"crossref","unstructured":"H. Cirstea and G.Faure. Confluence of pattern-based calculi. In: Baader (2007), pp. 78--92, 2007.","DOI":"10.1007\/978-3-540-73449-9_8"},{"issue":"3","key":"key\n\t\t\t\t20180328164340_C8","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/9.3.339","article-title":"The rewriting calculus - parts I and II","volume":"9","author":"Cirstea","year":"2001","journal-title":"Logic Journal of the IGPL"},{"volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic","year":"2007","author":"Clavel","key":"key\n\t\t\t\t20180328164340_C9"},{"key":"key\n\t\t\t\t20180328164340_C10","doi-asserted-by":"crossref","unstructured":"J. Coelho and M.Florido. XCentric: logic programming for XML processing. In: 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), I.Fundulaki, N.Polyzotis, eds. Lisbon, Portugal, November 9, 2007. ACM, pp. 1--8, 2007.","DOI":"10.1145\/1316902.1316904"},{"key":"key\n\t\t\t\t20180328164340_C11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0304-3975(00)00402-3","article-title":"Higher-order matching for program transformation","volume":"269","author":"de Moor","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180328164340_C12","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S1571-0661(05)80017-9","article-title":"An overview of CafeOBJ","volume":"15","author":"Diaconescu","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180328164340_C13","first-page":"216","article-title":"Linearity in the non-deterministic call-by-value setting","volume-title":"Logic, Language, Information and Computation- 19th International Workshop, WoLLIC 2012","author":"D\u00edaz-Caro","year":"2012"},{"journal-title":"Programming with Sequence and Context Variables: Foundations and Applications","year":"2014","author":"Dundua","key":"key\n\t\t\t\t20180328164340_C14"},{"key":"key\n\t\t\t\t20180328164340_C15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1017\/S1471068415000071","article-title":"CLP(H): constraint logic programming for hedges","volume":"16","author":"Dundua","year":"2016","journal-title":"Theory and Practice of Logic Programming"},{"key":"key\n\t\t\t\t20180328164340_C16","first-page":"32","article-title":"Strategies in P\u03c1Log","volume-title":"Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009","author":"Dundua","year":"2009"},{"key":"key\n\t\t\t\t20180328164340_C17","doi-asserted-by":"crossref","unstructured":"B. Dundua , T.Kutsia and K.Reisenberger-Hagmayr. An overview of P\u03c1Log. In: Y.Lierler and W.Taha, eds, Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017). Vol. 10137 of Lecture Notes in Computer Science. Springer, pp. 34--49, 2017.","DOI":"10.1007\/978-3-319-51676-9_3"},{"key":"key\n\t\t\t\t20180328164340_C18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","article-title":"The differential lambda-calculus","volume":"309","author":"Ehrhard","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180328164340_C19","doi-asserted-by":"crossref","unstructured":"J. A. Goguen , T.Winkler, J.Meseguer, K.Futatsugi and J.-P.Jouannaud. Introducing OBJ. In: J.Goguen, G.Malcolm, eds, Software Engineering with OBJ: Algebraic Specification in Action. Boston, MA: Springer, pp. 3--167, 2000.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"key\n\t\t\t\t20180328164340_C20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89185-7","volume-title":"Pattern Calculus","author":"Jay","year":"2009"},{"key":"key\n\t\t\t\t20180328164340_C21","first-page":"100","article-title":"Pure pattern calculus","volume-title":"Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006","author":"Jay","year":"2006"},{"issue":"2","key":"key\n\t\t\t\t20180328164340_C22","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1017\/S0956796808007144","article-title":"First-class patterns","volume":"19","author":"Jay","year":"2009","journal-title":"Journal of Functional Programming"},{"issue":"1--3","key":"key\n\t\t\t\t20180328164340_C23","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.tcs.2008.01.019","article-title":"Lambda calculus with patterns","volume":"398","author":"Klop","year":"2008","journal-title":"Theoretical Computer Science"},{"issue":"12","key":"key\n\t\t\t\t20180328164340_C24","doi-asserted-by":"crossref","first-page":"858","DOI":"10.1016\/j.jsc.2008.05.001","article-title":"Flat matching","volume":"43","author":"Kutsia","year":"2008","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"key\n\t\t\t\t20180328164340_C25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(97)00143-6","article-title":"Higher-order rewrite systems and their confluence","volume":"192","author":"Mayr","year":"1998","journal-title":"Theoretical Computer Science,"},{"key":"key\n\t\t\t\t20180328164340_C26","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/LICS.1991.151658","article-title":"Higher-order critical pairs","author":"Nipkow","year":"1991","journal-title":"Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS \u201991)"},{"key":"key\n\t\t\t\t20180328164340_C27","first-page":"358","article-title":"Solvability in resource lambda-calculus","volume-title":"Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20--28, 2010. Proceedings. Vol. 6014 of Lecture Notes in Computer Science. Springer","author":"Pagani","year":"2010"},{"volume-title":"The Implementation of Functional Programming Languages","year":"1987","author":"Peyton Jones","key":"key\n\t\t\t\t20180328164340_C28"},{"issue":"2","key":"key\n\t\t\t\t20180328164340_C29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S1571-0661(04)80917-4","article-title":"The ASF+SDF meta-environment: a component-based language development environment.","volume":"44","author":"van den Brand","year":"2001","journal-title":"Electronic Notes in Theoretical Computer Science"},{"volume-title":"Lambda Calculus with patterns. Tech. Rep. IR-228","year":"1990","author":"van Oostrom","key":"key\n\t\t\t\t20180328164340_C30"},{"key":"key\n\t\t\t\t20180328164340_C31","article-title":"The dynamic pattern calculus as a higher-order pattern rewriting system","volume-title":"Proceedings of the 7th International Workshop on Higher-Order Rewriting (HOR 2014)","author":"van Oostrom","year":"2014"},{"key":"key\n\t\t\t\t20180328164340_C32","unstructured":"V. van Oostrom , F.van Raamsdonk. Matching in the dynamic pattern calculus. In: S.Escobar, M.Villaret, eds., Proceedings of the 29th International Workshop on Unification (UNIF 2015). pp.51--55, 2015."},{"volume-title":"The Mathematica book","year":"2003","author":"Wolfram","key":"key\n\t\t\t\t20180328164340_C33"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/26\/2\/203\/24502145\/jzx059.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T14:26:20Z","timestamp":1570371980000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/26\/2\/203\/4781665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,29]]},"references-count":33,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,12,29]]},"published-print":{"date-parts":[[2018,3,27]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzx059","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2018,4]]},"published":{"date-parts":[[2017,12,29]]}}}