FORWARD REASONING AND DEPENDENCY-DIRECTED BACKTRACKING IN A SYSTEM FOR COMPUTER-AIDED CIRCUIT ANALYSIS.STALLMAN RM; SUSSMAN GJ.1977; ARTIF. INTELLIG.; U.S.A.; DA. 1977; VOL. 9; NO 2; PP. 135-196; BIBL. 2 P.Article

HEURISTIC TECHNIQUES IN COMPUTER-AIDED CIRCUIT ANALYSIS.SUSSMAN GJ; STALLMAN RM.1975; I.E.E.E. TRANS. CIRCUITS SYST.; U.S.A.; DA. 1975; VOL. 22; NO 11; PP. 857-865; BIBL. 9 REF.Article

DESIGN OF A LISP-BASED MICROPROCESSORSTEELE GL JR; SUSSMAN GJ.1980; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1980; VOL. 23; NO 11; PP. 628-645Article

SCHEME 79-LISP ON A CHIPSUSSMAN GJ; HOLLOWAY J; STEEL GL JR et al.1981; COMPUTER; ISSN 0018-9162; USA; DA. 1981; VOL. 14; NO 7; PP. 10-21; 11 P.; BIBL. 35 REF.Article