tegies-design-for-interleaving-reasoning-and-selection-of-axioms_final.pdf">Strategies &amp; Design<br />
  for interleaving reasoning and selection of axioms</a></td>
<td>WP4</td>
<td>VUA</td>
<td>12</td>
<td>Report</td>
<td>18</td>
</tr>
<tr>
<td>D4.7.1</td>
<td><a href="http://www.larkc.eu/wp-content/uploads/2008/01/larkc_d471-initial-evaluation-revision-of-plug-ins-deployed-in-use-cases_final.pdf">Initial Evaluation &amp; Revision of plug-ins<br />
  deployed in use-cases</a></td>
<td>WP4</td>
<td>VUA</