{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T19:46:35Z","timestamp":1773690395995,"version":"3.50.1"},"reference-count":43,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1977,10,1]],"date-time":"1977-10-01T00:00:00Z","timestamp":244512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1977,10]]},"DOI":"10.1016\/0004-3702(77)90029-7","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"135-196","source":"Crossref","is-referenced-by-count":380,"title":["Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis"],"prefix":"10.1016","volume":"9","author":[{"given":"Richard M.","family":"Stallman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald J.","family":"Sussman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(77)90029-7_BIB1","article-title":"A diagnostic program for the design of procurement systems","author":"Bosyj","year":"1975","journal-title":"MIT Project MAC Technical Report"},{"key":"10.1016\/0004-3702(77)90029-7_BIB2","article-title":"Qualitative knowledge, causal reasoning, and the localization of failures","author":"Brown","year":"1975","journal-title":"MIT AI Lab. PhD Thesis"},{"key":"10.1016\/0004-3702(77)90029-7_BIB3","article-title":"Applications of meta level knowledge to the construction, maintenance, and use of large knowledge bases","author":"Davis","year":"1976","journal-title":"Stanford U. AI Lab. Memo AIM-283"},{"key":"10.1016\/0004-3702(77)90029-7_BIB4","article-title":"Local methods for localization of faults in electronic circuits","author":"de Kleer","year":"1976","journal-title":"MIT AI Lab. Working Paper 109"},{"key":"10.1016\/0004-3702(77)90029-7_BIB5","series-title":"Software engineering techniques","first-page":"84","article-title":"Structured programming","author":"Dijkstra","year":"1970"},{"key":"10.1016\/0004-3702(77)90029-7_BIB6","article-title":"Analysis by propagation of constraints in elementary geometry problem solving","author":"Doyle","year":"1976","journal-title":"MIT AI Lab. Working Paper 108"},{"key":"10.1016\/0004-3702(77)90029-7_BIB7","series-title":"MIT AI Lab. Technical Report 283","article-title":"A planning system for robot construction tasks","author":"Fahlman","year":"1973"},{"key":"10.1016\/0004-3702(77)90029-7_BIB8","article-title":"Deductive retrieval mechanisms for state description models","author":"Fikes","year":"1975","journal-title":"Stanford Research Institute AI Technical Note 106"},{"key":"10.1016\/0004-3702(77)90029-7_BIB9","article-title":"Synthesizing constraint expressions","author":"Freuder","year":"1976","journal-title":"MIT AI Lab. Memo 370"},{"issue":"1","key":"10.1016\/0004-3702(77)90029-7_BIB10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/TSE.1975.6312818","article-title":"Towards a programming apprentice","volume":"1","author":"Hewitt","year":"1975","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0004-3702(77)90029-7_BIB11","article-title":"Procedural embedding of knowledge in PLANNER","volume":"2","author":"Hewitt","year":"1971"},{"key":"10.1016\/0004-3702(77)90029-7_BIB12","article-title":"Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot","author":"Hewitt","year":"1972","journal-title":"MIT AI Lab. Technical Report 258"},{"key":"10.1016\/0004-3702(77)90029-7_BIB13","article-title":"Impossible objects as nonsense sentences","volume":"6","author":"Huffman","year":"1970"},{"key":"10.1016\/0004-3702(77)90029-7_BIB14","author":"Teitelman","year":"1974"},{"key":"10.1016\/0004-3702(77)90029-7_BIB15","author":"Bogen","year":"1974"},{"key":"10.1016\/0004-3702(77)90029-7_BIB16","article-title":"Qualitative simulation of swine production","author":"Mason","year":"1976","journal-title":"MIT Dept. of EE & CS BS Thesis"},{"key":"10.1016\/0004-3702(77)90029-7_BIB17","author":"McCarthy","year":"1965"},{"key":"10.1016\/0004-3702(77)90029-7_BIB18","article-title":"MIT AI Lab. AI Memo 259","author":"McDermott","year":"1972","journal-title":"CONNIVER reference manual"},{"key":"10.1016\/0004-3702(77)90029-7_BIB19","series-title":"MIT AI Lab Technical Report 291","article-title":"Assimilation of new information by a natural language understanding system","author":"McDermott","year":"1974"},{"key":"10.1016\/0004-3702(77)90029-7_BIB20","article-title":"Very large planner-type data bases","author":"McDermott","year":"1975","journal-title":"MIT AI Lab. Memo 339"},{"key":"10.1016\/0004-3702(77)90029-7_BIB21","article-title":"Flexibility and efficiency in a computer program for designing circuits","author":"McDermott","year":"1976","journal-title":"MIT Dept. EE & CS PhD Thesis"},{"key":"10.1016\/0004-3702(77)90029-7_BIB22","series-title":"MIT AI Lab. Memo 306","article-title":"a framework for representing knowledge","author":"Minsky","year":"1974-1975"},{"key":"10.1016\/0004-3702(77)90029-7_BIB23","author":"Moon","year":"1974"},{"key":"10.1016\/0004-3702(77)90029-7_BIB24","article-title":"Plane geometry theorem proving using forward chaining","volume":"303","author":"Nevins","year":"1974","journal-title":"MIT Artificial Intelligence Memo"},{"key":"10.1016\/0004-3702(77)90029-7_BIB25","article-title":"Initial report on a LISP programmer's apprentice","author":"Rich","year":"1976","journal-title":"MIT AI Lab. Technical Report 354"},{"key":"10.1016\/0004-3702(77)90029-7_BIB26","series-title":"The commonplace algorithm as a basis for computer models of human memory, inference, belief and contextual language understanding in TINLAP","author":"Rieger","year":"1975"},{"key":"10.1016\/0004-3702(77)90029-7_BIB27","article-title":"Anthropomorphic circuit analysis","author":"Roylance","year":"1975","journal-title":"MIT Dept. of EE & CS BS Thesis"},{"key":"10.1016\/0004-3702(77)90029-7_BIB28","article-title":"Qualitative analysis of operational amplifier circuits","author":"Roylance","year":"1976","journal-title":"MIT Dept. of EE & CS MS Thesis proposal"},{"key":"10.1016\/0004-3702(77)90029-7_BIB29","article-title":"A procedural calculus for intuitive reasoning","author":"Rulifson","year":"1972","journal-title":"Stanford Research Institute AI Technical Note 73"},{"key":"10.1016\/0004-3702(77)90029-7_BIB30","series-title":"Electronic circuits and applications","author":"Senturia","year":"1975"},{"key":"10.1016\/0004-3702(77)90029-7_BIB31_1","article-title":"MYCIN\u2014A rule-based computer program for advising physicians regarding antimicrobial therapy selection","author":"Shortliffe","year":"1974","journal-title":"Stanford U. AI Lab. Memo AIM-251"},{"key":"10.1016\/0004-3702(77)90029-7_BIB31_2","series-title":"MYCIN: Computer-based medical consultations","author":"Shortliffe","year":"1976"},{"key":"10.1016\/0004-3702(77)90029-7_BIB32","series-title":"Proc. FJCC","first-page":"1171","article-title":"From PLANNER to CONNIVER\u2014A genetic approach","author":"Sussman","year":"1972"},{"issue":"11","key":"10.1016\/0004-3702(77)90029-7_BIB33","doi-asserted-by":"crossref","DOI":"10.1109\/TCS.1975.1083985","article-title":"Heuristic techniques in Computer-aided circuit analysis","volume":"vol. CAS-22","author":"Sussman","year":"1975","journal-title":"IEEE Trans. on Circuits and Systems"},{"key":"10.1016\/0004-3702(77)90029-7_BIB34_1","series-title":"MIT AI Lab. Technical Report 297","article-title":"A computational model of skill acquisition","author":"Sussman","year":"1973"},{"key":"10.1016\/0004-3702(77)90029-7_BIB34_2","series-title":"A computer model of skill acquisition","author":"Sussman","year":"1975"},{"key":"10.1016\/0004-3702(77)90029-7_BIB35","series-title":"Proc. of the AISB conference","article-title":"The virtuous nature of bugs","author":"Sussman","year":"1974"},{"key":"10.1016\/0004-3702(77)90029-7_BIB36","article-title":"MIT AI Lab. AI Memo 203","author":"Sussman","year":"1970","journal-title":"Micro-Planner reference manual"},{"key":"10.1016\/0004-3702(77)90029-7_BIB37","series-title":"Software engineering techniques","first-page":"137","article-title":"Toward a Programming Laboratory","author":"Teitelman","year":"1970"},{"key":"10.1016\/0004-3702(77)90029-7_BIB38","article-title":"Generating semantic descriptions from drawings of scenes with shadows","author":"Waltz","year":"1972","journal-title":"MIT AI Lab. Technical Report 271"},{"key":"10.1016\/0004-3702(77)90029-7_BIB39","series-title":"Proc. ACM SIGPN\/SIGIR Interface Meeting","article-title":"Breaking the complexity barrier again","author":"Winograd","year":"1973"},{"key":"10.1016\/0004-3702(77)90029-7_BIB40","series-title":"Representation & Understanding","article-title":"Frame representations and the procedural\/declarative controversy","author":"Winograd","year":"1975"},{"key":"10.1016\/0004-3702(77)90029-7_BIB41","article-title":"Learning structural descriptions from examples","author":"Winston","year":"1970","journal-title":"MIT AI Lab. Technical Report 231"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370277900297?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370277900297?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T22:41:33Z","timestamp":1584484893000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370277900297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,10]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1977,10]]}},"alternative-id":["0004370277900297"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(77)90029-7","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1977,10]]}}}