Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture (Thesis (Masters)), California Institute of Technology doi: 10.7907/ctky-sp95
