SCCI Digital Library and Forum

Lecture 4: First-order Substitution Methods (M-I-T)