Chicago

Laxdal, Albert Lee. 1959. A Mechanization of Quine's Canonical Form. : Oregon State College.