{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:32:49Z","timestamp":1784845969827,"version":"3.55.0"},"reference-count":16,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1016\/j.ipl.2003.12.008","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T05:34:35Z","timestamp":1075959275000},"page":"309-314","source":"Crossref","is-referenced-by-count":13,"title":["Deterministic second-order patterns"],"prefix":"10.1016","volume":"89","author":[{"given":"Tetsuo","family":"Yokoyama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.ipl.2003.12.008_BIB001","unstructured":"L. Baxter, The complexity of unification, Ph.D. thesis, Department of Computer Science, University of Waterloo, 1977"},{"key":"10.1016\/j.ipl.2003.12.008_BIB002","series-title":"Introduction to Functional Programming Using Haskell","author":"Bird","year":"1998"},{"key":"10.1016\/j.ipl.2003.12.008_BIB003","series-title":"Rewriting Techniques and Applications","first-page":"317","article-title":"Efficient second-order matching","volume":"vol. 1103","author":"Curien","year":"1996"},{"key":"10.1016\/j.ipl.2003.12.008_BIB004","series-title":"Third International Summer School on Advanced Functional Programming, Braga, Portugal","first-page":"116","article-title":"Generic program transformation","volume":"vol. 1608","author":"de Moor","year":"1998"},{"key":"10.1016\/j.ipl.2003.12.008_BIB005","series-title":"Functional and Logic Programming, 4th Fuji International Symposium, Tsukuba, Japan","first-page":"209","article-title":"Higher order matching for program transformation","volume":"vol. 1722","author":"de Moor","year":"1999"},{"issue":"1\u20132","key":"10.1016\/j.ipl.2003.12.008_BIB006","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":"Theoret. Comput. Sci."},{"key":"10.1016\/j.ipl.2003.12.008_BIB007","series-title":"Proc. ESOP","first-page":"175","article-title":"A functional language for the specification of complex tree transformation","volume":"vol. 300","author":"Heckmann","year":"1988"},{"key":"10.1016\/j.ipl.2003.12.008_BIB008","series-title":"Computing and Combinatorics, 5th Annual International Conference, Tokyo, Japan","first-page":"432","article-title":"Tractable and intractable second-order matching problems","volume":"vol. 1627","author":"Hirata","year":"1999"},{"key":"10.1016\/j.ipl.2003.12.008_BIB009","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00264598","article-title":"Proving and applying program transformations expressed with second-order patterns","volume":"11","author":"Huet","year":"1978","journal-title":"Acta Inform."},{"key":"10.1016\/j.ipl.2003.12.008_BIB010","series-title":"KORSO\u2014Methods, Languages, and Tools for the Construction of Correct Software","first-page":"270","article-title":"Towards correct, efficient and reusable transformational developments","volume":"vol. 1009","author":"Krieg-Br\u00fcckner","year":"1995"},{"issue":"4","key":"10.1016\/j.ipl.2003.12.008_BIB011","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","article-title":"A logic programming language with lambda-abstraction, function variables, and simple unification","volume":"1","author":"Miller","year":"1991","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.ipl.2003.12.008_BIB012","series-title":"Theory and Practice of Software Development, 7th International Joint Conference CAAP\/FASE, Lille, France","first-page":"441","article-title":"Linear interpolation for the higher-order matching problem","volume":"vol. 1214","author":"Schubert","year":"1997"},{"key":"10.1016\/j.ipl.2003.12.008_BIB013","unstructured":"M. Schmidt-Schau\u00df, J. Stuber, On the complexity of linear and stratified context matching problems, Rapport de recherche RR-4923, 2003"},{"key":"10.1016\/j.ipl.2003.12.008_BIB014","unstructured":"G. Sittampalam, Higher-order matching for program transformation, Ph.D. thesis, University of Oxford, 2001"},{"key":"10.1016\/j.ipl.2003.12.008_BIB015","series-title":"2nd Symposium on Programs as Data Objects, Aarhus, Denmark","first-page":"218","article-title":"Higher-order pattern matching for automatically applying fusion transformations","volume":"vol. 2053","author":"Sittampalam","year":"2001"},{"key":"10.1016\/j.ipl.2003.12.008_BIB016","series-title":"Automated Deduction, Trento, Italy","first-page":"82","article-title":"Complexity of the higher order matching","volume":"vol. 1632","author":"Wierzbicki","year":"1999"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0020019003005519?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0020019003005519?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T01:50:28Z","timestamp":1550195428000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019003005519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["S0020019003005519"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.ipl.2003.12.008","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}