 Software for educational use:  <A HREF="http://www.cs.wisc.edu/coral/minibase/minibase.html"><B>Minibase</B></A> and <A HREF="http://www.cs.wisc.edu/coral/"> <B>Coral</B></A> </UL>
