'<LI><A HREF="'.$dir.'node1.html#211">Complexity results established in this paper (shown in bold face)</A>
<LI><A HREF="'.$dir.'node2.html#291">The translation from ALCQI into C2</A>
<LI><A HREF="'.$dir.'node5.html#458">A TCBOX defining a torus of exponential size</A>
<LI><A HREF="'.$dir.'node14.html#790">Complexity of the reasoning problems</A>'