On 12 Mar 1998 23:15:48 -0500, awaters@acm.org wrote:>For those interested in the algorithm, there has been a recent>technical report by Dov Harel, and several other people,>http://www.diku.dk/research/published/9798.ps which quote