Just to keep the thread up-to-date, I have found the following interesting link. http://pauillac.inria.fr/algo/nicodeme/publications.html . Vince