Bruno Courcelle
Université Bordeaux-1
LaBRI (Laboratoire d'Informatique)
351 Cours de la Libération
33405 Talence-cedex
France
courcell@labri.u-bordeaux.fr