## Hubert Comon

*Equational Formulas in Order-Sorted Algebras*

ICALP, 1990.

@inproceedings{ICALP-1990-Comon, author = "Hubert Comon", booktitle = "{Proceedings of the 17th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0032066", isbn = "3-540-52826-1", pages = "674--688", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Equational Formulas in Order-Sorted Algebras}", volume = 443, year = 1990, }