On 16 Mar 1999, Dave Love wrote: > I think it used to be mentioned in the LITERATURE file (now removed). Actually LITERATURE has only moved, namely to readings.html on our website. I have just added a direct link to the navigation bar on the left. Gerald -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/