<h1>Lien, Sheue-Ling C.</h1> <h2>Monograph from <a href="https://data.caltech.edu">CaltechTHESIS</a></h2> <ul> <li>Lien, Sheue-Ling C. (1981) <a href="https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718">Toward a Theorem Proving Architecture</a>; <a href="https://doi.org/10.7907/ctky-sp95">10.7907/ctky-sp95</a></li> </ul>