Alexandre Boudet, Evelyne Contejean, Hervé Devie. A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 289-299, IEEE Computer Society, 1990.
@inproceedings{BoudetCD90, title = {A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations}, author = {Alexandre Boudet and Evelyne Contejean and Hervé Devie}, year = {1990}, researchr = {https://researchr.org/publication/BoudetCD90}, cites = {0}, citedby = {0}, pages = {289-299}, booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA}, publisher = {IEEE Computer Society}, }