Heuristic techniques in computer-aided circuit analysis (1975)

by Gerald Jay Sussman, Richard M Stallman
Venue:IEEE Transactions on Circuits and Systems