Outils pour la déduction automatique dans les théories associatives-commutatives, Thèse de doctorat (1991)

by Eric Domenjoud