There's a good tutorial on pruning at:<br><br><a href="http://www.cs.nott.ac.uk/~gmh/book.html">http://www.cs.nott.ac.uk/~gmh/book.html</a> (Section "Slides", number 11)<br><br><div><span class="gmail_quote">
</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">In general, I find this kind of stuff really hard to avoid... :-S<br><br></blockquote>
</div><br>