 <a href="http://www.cs.utexas.edu/users/ml/neither.html">NEITHER</a> - A theory revision system for propositional rule bases. <li>
