{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:33Z","timestamp":1779836733915,"version":"3.53.1"},"reference-count":11,"publisher":"Cambridge University Press (CUP)","issue":"3-4","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2009,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Combinatorial search strategies including depth-first, breadth-first and depth-bounded search are shown to be different implementations of a common algebraic specification that emphasizes the compositionality of the strategies. This specification is placed in a categorical setting that combines algebraic specifications and monads.<\/jats:p>","DOI":"10.1017\/s0956796809007321","type":"journal-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T10:05:04Z","timestamp":1244541904000},"page":"469-487","source":"Crossref","is-referenced-by-count":12,"title":["Algebras for combinatorial search"],"prefix":"10.1017","volume":"19","author":[{"given":"J. MICHAEL","family":"SPIVEY","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2009,7,1]]},"reference":[{"key":"S0956796809007321_ref11","first-page":"54","volume-title":"Proceedings of the 9th International Conference on Functional Programming, ICFP '04 (Snowbird, UT, Sept. 2004)","author":"Wand","year":"2001"},{"key":"S0956796809007321_ref10","volume-title":"Introduction to Metric and Topological Spaces","author":"Sutherland","year":"1975"},{"key":"S0956796809007321_ref1","first-page":"5","volume-title":"Calculi of Discrete Design","author":"Bird","year":"1987"},{"key":"S0956796809007321_ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054101000436"},{"key":"S0956796809007321_ref5","volume-title":"Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"key":"S0956796809007321_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289455"},{"key":"S0956796809007321_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7_9"},{"key":"S0956796809007321_ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"S0956796809007321_ref6","first-page":"289","volume-title":"Proceedings of the CWI Symposium on Mathematics and Computer Science","author":"Meertens","year":"1986"},{"key":"S0956796809007321_ref7","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2003"},{"key":"S0956796809007321_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003749"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796809007321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:35:58Z","timestamp":1779834958000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796809007321\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":11,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["S0956796809007321"],"URL":"https:\/\/doi.org\/10.1017\/s0956796809007321","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7]]}}}