|daTac - Déduction Automatique dans des Théories Associatives-Commutatives|
daTac has received an IDDN
(Inter Deposit Digital Number)
So feel free to use it and distribute it, provided you always mention its name in your publications.
Please send questions, remarks or bugs to the author.
Author of daTac :
Laurent.Vigneron @ loria.fr
member of the Pesto Group, LORIA (Nancy, France)