;</LI>
<LI>Date: Tue, 15 Jan 2002 10:56:40 -0500 (EST)</LI>
</UL>
</LI>
<LI><STRONG><a name="03653" href="msg03653.html">ONT Bibliography On Logical Formalization And Mechanization</a></STRONG>
<UL>
<LI><EM>From</EM>: Jon Awbrey &lt;jawbrey@oakland.edu&gt;</LI>
<LI>Date: Tue, 15 Jan 2002 09:16:28 -0500 (EST)</LI>
</UL>
</LI>
<LI><STRONG><a name="03652" href="msg03652.html">ONT Re: Inquiry Driven Systems</a></STRONG>
<UL>
<LI><EM>From</EM>: Jon Awbrey &lt;jawbrey@oakland.edu&gt;</LI>
<LI>Date: Sun, 13 Jan 20