1. INRIA Nancy Grand Est, LORIA, Nancy, France
2. McGill University, Math Department, Montreal, QC H3A 2K6, Canada
3. University of Victoria, Department of Computer Science, B. C. V8W 3P6, Canada
4. McGill University, School of Computer Science, Montreal, QC H3A 2A7, Canada