Technical Report, Institut National de Recherche en Informatique et Automatique, Rocquencourt, France
January 31, 2005
A. Chaudhuri, G. Huet