Alexandre Boudet, Evelyne Contejean
On n-Syntactic Equational Theories
PPDP, 1992.
@inproceedings{ALP-1992-BoudetC, author = "Alexandre Boudet and Evelyne Contejean", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013843", isbn = "3-540-55873-X", pages = "446--457", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{On n-Syntactic Equational Theories}", volume = 632, year = 1992, }