This seems interesting, but I cannot say where in the cliki it should be put. http://www.wkap.nl/prod/b/1-4020-1730-8 PhD thesis ca be downloaded at: http://www.cs.bham.ac.uk/~pbl/papers/ Pietro