{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:32Z","timestamp":1761611072275},"reference-count":11,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":8357,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1016\/0743-1066(90)90038-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:47:32Z","timestamp":1027640852000},"page":"159-177","source":"Crossref","is-referenced-by-count":2,"title":["Efficient program synthesis in computational models"],"prefix":"10.1016","volume":"9","author":[{"given":"Max I.","family":"Kanovich","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(90)90038-7_BIB1","first-page":"157","author":"Kahro","year":"1981","journal-title":"The Instrumental Programming System for RYAD Computers (PRIZ)"},{"key":"10.1016\/0743-1066(90)90038-7_BIB2","series-title":"Knowledge Based Programming","author":"Tyugu","year":"1987"},{"key":"10.1016\/0743-1066(90)90038-7_BIB3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","article-title":"Justification of the structural synthesis of programs","author":"Mints","year":"1982","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0743-1066(90)90038-7_BIB4","first-page":"52","author":"Mints","year":"1983","journal-title":"Structural synthesis and Nonclassical Logics"},{"key":"10.1016\/0743-1066(90)90038-7_BIB5","first-page":"29","article-title":"Spora as a System of Programming with the Automatic Synthesis of Programs","author":"Babaev","year":"1983","journal-title":"The Third Conference on Application of Methods of Mathematical Logic"},{"key":"10.1016\/0743-1066(90)90038-7_BIB6","article-title":"The Architecture of Knowledge Bases","author":"Lavrov","year":"1986","journal-title":"Software for Computers with new Architectures"},{"key":"10.1016\/0743-1066(90)90038-7_BIB7","first-page":"36","article-title":"Computational Models with Separable Problems","author":"Dikovski","year":"1985","journal-title":"Tekh. Kibernet."},{"issue":"3","key":"10.1016\/0743-1066(90)90038-7_BIB8","first-page":"867","article-title":"Efficient Logical Algorithms of Analysis and the Synthesis of Dependencies","volume":"32","author":"Kanovich","year":"1985","journal-title":"Soviet Math. Dokl."},{"issue":"2","key":"10.1016\/0743-1066(90)90038-7_BIB9","first-page":"273","article-title":"Quasipolynomial Algorithms for Recognizing the Satisfiability and Derivability of Propositional Formulas","volume":"34","author":"Kanovich","year":"1986","journal-title":"Soviet Math. Dokl."},{"key":"10.1016\/0743-1066(90)90038-7_BIB10","first-page":"44","author":"Kanovich","year":"1986","journal-title":"Logical Methods for the Synthesis of Programs"},{"key":"10.1016\/0743-1066(90)90038-7_BIB11","first-page":"149","article-title":"Efficient Calculi as a Tool for Reducing Search","volume":"BK-131","author":"Kanovich","year":"1987","journal-title":"Voprosy Kybernet. (Moscow)"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106690900387?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106690900387?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T23:56:02Z","timestamp":1555113362000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106690900387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":11,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["0743106690900387"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(90)90038-7","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}