 approach, right now. On the other hand, the flexibility of Spirit 
  makes it possible to have different optional schemes available. It might be 
  possible to implement an exhaustive backtracking RD scheme as an optional feature 
  in the future. </p>
<table border="0">
  <tr> 
    <td width="10"></td>
    <td width="30"><a href="../index.html"><img src="theme/u_arr.gif" border="0"></a></td>
    <td width="30"><a href="faq.html"><img src="theme/l_arr.gif" border="0"></a></td>
    <td width="30"><a href="a