be &lt;<A HREF="mailto:arisbe@stderr.org">arisbe@stderr.org</A>&gt;, Generic Ontology Group &lt;<A HREF="mailto:ontology@ieee.org">ontology@ieee.org</A>&gt;</li>
<li><em>Subject</em>: ONT Re: Bibliography on Logical Formalization &amp; Mechanization</li>
<li><em>From</em>: Jon Awbrey &lt;<A HREF="mailto:jawbrey@oakland.edu">jawbrey@oakland.edu</A>&gt;</li>
<li><em>Date</em>: Mon, 17 Sep 2001 09:44:06 -0400</li>
<li><em>CC</em>: Organization Complexity Autonomy &lt;<A HREF="mailto:oca@cc.newcastle.edu.au">oc