   Pointers to papers on FORTE can be found on our <a href="http://www.cs.utexas.edu/users/ml/ilp.html">ILP</a> and <a href="http://www.cs.utexas.edu/users/ml/theory-rev.html">Theory Revision</a> publication pages.  Below is the standard reference (click on the open book image). <p>
