<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>