%0 Journal Article %1 journals/ai/StallmanS77 %A Stallman, Richard M. %A Sussman, Gerald J. %D 1977 %J Artif. Intell. %K dblp %N 2 %P 135-196 %T Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. %U http://dblp.uni-trier.de/db/journals/ai/ai9.html#StallmanS77 %V 9

@article{journals/ai/StallmanS77, added-at = {2011-06-30T00:00:00.000+0200}, author = {Stallman, Richard M. and Sussman, Gerald J.}, biburl = {https://www.bibsonomy.org/bibtex/25472c57245d7f36e77960843e450a2e0/dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(77)90029-7}, interhash = {d8c753d5b49f77badb7edc51baecf512}, intrahash = {5472c57245d7f36e77960843e450a2e0}, journal = {Artif. Intell.}, keywords = {dblp}, number = 2, pages = {135-196}, timestamp = {2011-07-01T11:34:41.000+0200}, title = {Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai9.html#StallmanS77}, volume = 9, year = 1977 }