{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:13Z","timestamp":1749125173359},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf03037438","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T22:41:40Z","timestamp":1240526500000},"page":"115-132","source":"Crossref","is-referenced-by-count":70,"title":["A deductive solution for plan generation"],"prefix":"10.1007","volume":"4","author":[{"given":"Wolfgang","family":"Bibel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037438_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90100-2","volume-title":"Automated theorem proving","author":"W. Bibel","year":"1982","unstructured":"Bibel, W.,Automated theorem proving, Vieweg, Braunschweig, 1982."},{"key":"BF03037438_CR2","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1145\/182.183","volume":"26","author":"W. Bibel","year":"1983","unstructured":"Bibel, W., \u201cMatings in matrices,\u201dCACM, 26, pp. 844\u2013852, 1983.","journal-title":"CACM"},{"key":"BF03037438_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0022678","volume-title":"MMSSSS\u201985","author":"W. Bibel","year":"1986","unstructured":"Bibel, W., \u201cPredicative programming revisited,\u201d inMMSSSS\u201985 (W. Bibel and K. Jantke, eds.),Lecture Notes in Computer Science, 215, Springer, Berlin, 1986."},{"key":"BF03037438_CR4","unstructured":"Fronh\u00f6fer, B., \u201cLinearity and plan generation,\u201dReport ATP-51-I-86, Techn. Univ. M\u00fcnchen, 1986."},{"key":"BF03037438_CR5","series-title":"IJCAI-69","doi-asserted-by":"crossref","first-page":"219","DOI":"10.21236\/ADA459656","volume-title":"Application of theorem proving to problem solving","author":"C. Green","year":"1969","unstructured":"Green, C., \u201cApplication of theorem proving to problem solving,\u201dIJCAI-69, Kaufmann, Los Altos, CA, pp. 219\u2013239, 1969."},{"key":"BF03037438_CR6","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.,Logic for problem solving, North-Holland, New York, NY, 1979."},{"key":"BF03037438_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z. Manna","year":"1971","unstructured":"Manna, Z. and Waldinger, R., \u201cTowards automatic program synthesis,\u201dCACM, 14, pp. 151\u2013165, 1971.","journal-title":"CACM"},{"key":"BF03037438_CR8","first-page":"463","volume-title":"Machine Intelligence, 4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J. and Hayes, P., \u201cSome philosophical problems from the standpoint of Artificial Intelligence,\u201d inMachine Intelligence, 4 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, pp. 463\u2013502, 1969."},{"key":"BF03037438_CR9","volume-title":"Principles of Artificial Intelligence","author":"N. J. Nilsson","year":"1980","unstructured":"Nilsson, N. J.,Principles of Artificial Intelligence, Tioga, Palo Alto, CA, 1980."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037438.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037438\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:37Z","timestamp":1558558357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF03037438"],"URL":"https:\/\/doi.org\/10.1007\/bf03037438","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}