Shults' <a href="http://www.ma.utexas.edu/users/bshults/IPR/knowledge-using.html"> knowledge-using</a> prover for mathematics.</ul>
