Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis (1977)

by Richard M Stallman, Gerald J Sussman
Venue:In Proceedings of CP2007 Doctoral Programme