Logiques et réécriture. (Logics and term rewriting). - Sohame Selhab (1998)