Informations sur la réunion du groupe de travail
"Mélanges de systèmes de réécriture algébrique et de systèmes logiques"
le 30 janvier 1998