{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:40:00Z","timestamp":1749123600998,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1023\/a:1005882724254","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T23:56:21Z","timestamp":1040514981000},"page":"215-253","source":"Crossref","is-referenced-by-count":0,"title":["Subgoal Strategies for Solving Board Puzzles"],"prefix":"10.1007","volume":"20","author":[{"given":"Guoxiang","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dale","family":"Myers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"145174_CR1","volume-title":"Winning Ways for Your Mathematical Plays","author":"E. Berlekamp","year":"1982","unstructured":"Berlekamp, E., Conway, J., and Guy, R., Winning Ways for Your Mathematical Plays, vol. 2, Academic Press, New York, 1982."},{"key":"145174_CR2","volume-title":"Amusements in Mathematics","author":"H. Dudeney","year":"1958","unstructured":"Dudeney, H., Amusements in Mathematics, Dover Publications, New York, 1958."},{"volume-title":"Mathematical Puzzles of Sam Loyd","year":"1959","key":"145174_CR3","unstructured":"Gardner, M. (editor), Mathematical Puzzles of Sam Loyd, Dover Publications, New York, 1959."},{"key":"145174_CR4","first-page":"280","volume":"6","author":"I. Hentzel","year":"1973","unstructured":"Hentzel, I., \u2018Triangular puzzle peg', J. Recreational Mathematics\n6 (1973), 280\u2013283.","journal-title":"J. Recreational Mathematics"},{"key":"145174_CR5","first-page":"3","volume":"33","author":"G. Huang","year":"1996","unstructured":"Huang, G., \u2018Using OTTER and Prolog to solve TopSpin', Assoc. for Automated Reasoning Newsletter\n33 (1996), 3.","journal-title":"Assoc. for Automated Reasoning Newsletter"},{"key":"145174_CR6","unstructured":"Huang, G., Automated Reasoning and Machine Learning, Ph.D. thesis, University of Hawaii, 1996."},{"key":"145174_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.2307\/2369492","volume":"2","author":"W. Johnson","year":"1879","unstructured":"Johnson, W., \u2018Notes on the \u201815\u2019 puzzle', Amer. J. Math.\n2 (1879), 397\u2013399.","journal-title":"Amer. J. Math."},{"key":"145174_CR8","volume-title":"Genetic Programming: On the Programming of Computers by Natural Selection","author":"J. Koza","year":"1992","unstructured":"Koza, J., Genetic Programming: On the Programming of Computers by Natural Selection, MIT Press, Cambridge, Mass, 1992."},{"issue":"1","key":"145174_CR9","first-page":"25","volume":"9","author":"S. Lee","year":"1992","unstructured":"Lee, S. and Plaisted, D., \u2018Eliminating duplication with the hyper-linking strategy', J. Automated Reasoning\n9(1) (1992), 25\u201342.","journal-title":"J. Automated Reasoning"},{"key":"145174_CR10","series-title":"Technical Report","doi-asserted-by":"crossref","DOI":"10.2172\/10129052","volume-title":"OTTER 3.0 Reference Manual and Guide","author":"W. McCune","year":"1994","unstructured":"McCune, W., OTTER 3.0 Reference Manual and Guide, Technical Report ANL-94\/6, Argonne National Laboratory, Argonne, Ill, 1994."},{"key":"145174_CR11","first-page":"344","volume":"54","author":"M. Reiss","year":"1857","unstructured":"Reiss, M., \u2018Beitrage zur Theorie der Solit\u00e4r-Spiels', Crelle's J. 54 (1857), 344\u2013379.","journal-title":"Crelle's J."},{"issue":"1","key":"145174_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00247827","volume":"9","author":"R. Socher-Ambrosius","year":"1992","unstructured":"Socher-Ambrosius, R., \u2018How to avoid the derivation of redundant clauses in reasoning systems', J. Automated Reasoning\n9(1) (1992), 77\u201397.","journal-title":"J. Automated Reasoning"},{"key":"145174_CR13","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1038\/scientificamerican0395-108","volume":"3","author":"I. Stewart","year":"1995","unstructured":"Stewart, I., \u2018Mathematical recreations', Sci. Amer.\n3 (1995), 108\u2013110.","journal-title":"Sci. Amer."},{"key":"145174_CR14","doi-asserted-by":"crossref","first-page":"399","DOI":"10.2307\/2369236","volume":"2","author":"W. Story","year":"1879","unstructured":"Story, W., \u2018Notes on \u201815\u2019 puzzle', Amer. J. Math.\n2 (1879), 399\u2013404.","journal-title":"Amer. J. Math."},{"issue":"2","key":"145174_CR15","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00244283","volume":"8","author":"R. Veroff","year":"1992","unstructured":"Veroff, R. and Wos, L., \u2018The linked inference principle, I: The formal treatment', J. Automated Reasoning\n8(2) (1992), 213\u2013274.","journal-title":"J. Automated Reasoning"},{"key":"145174_CR16","volume-title":"Automated Reasoning: Introduction and Applications","author":"L. Wos","year":"1992","unstructured":"Wos, L., Overbeek, R., Lusk, E., and Boule, J., Automated Reasoning: Introduction and Applications, 2nd ed., McGraw-Hill, New York, 1992.","edition":"2nd ed."},{"key":"145174_CR17","series-title":"Lecture Notes in Computer Science","first-page":"316","volume-title":"Proceedings of the 7th International Conference on Automated Deduction","author":"L. Wos","year":"1984","unstructured":"Wos, L., Veroff, R., Smith, B., and McCune, W., \u2018The linked inference principle II: The user's view\u2019, Proceedings of the 7th International Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 170, ed. R. Shostak, Springer-Verlag, New York, 1984, pp. 316\u2013332."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005882724254.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005882724254\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005882724254.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:26:06Z","timestamp":1749122766000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005882724254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["145174"],"URL":"https:\/\/doi.org\/10.1023\/a:1005882724254","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}