Heuristic Techniques in Computer-Aided Circuit Analysis (1975)

by PI PO1 I211 G J Sussman, R M Stallman
Venue:IEEE tinsactions on Circuit8 and Syvtemv CAS-22