e.org/email/msg01670.html</A>
<A  HREF="http://suo.ieee.org/email/msg01739.html">http://suo.ieee.org/email/msg01739.html</A>
<A  HREF="http://suo.ieee.org/email/msg01966.html">http://suo.ieee.org/email/msg01966.html</A>
<A  HREF="http://suo.ieee.org/email/msg01985.html">http://suo.ieee.org/email/msg01985.html</A>
<A  HREF="http://suo.ieee.org/email/msg01988.html">http://suo.ieee.org/email/msg01988.html</A>

Propositional Equation Reasoning Systems (PERS):

<A  HREF="http://suo.ieee.org/email/msg04187.html">