Lien, Sheue-Ling C.

Monograph from CaltechTHESIS

• Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture; 10.7907/ctky-sp95