Outils pour la Deduction Automatique dans les Theories Associatives-Commutatives (1991)

by Eric Domenjoud