Heuristic Techniques in Computer-Aided Circuit Analysis (1975)

by G J Sussman, R M Stallman
Venue:IEEE Trans. Circuits and Systems