## Marcelo P. Fiore, Chung-Kil Hur

*Mathematical Synthesis of Equational Deduction Systems*

TLCA, 2009.

@inproceedings{TLCA-2009-FioreH, author = "Marcelo P. Fiore and Chung-Kil Hur", booktitle = "{Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-642-02273-9_1", isbn = "978-3-642-02272-2", pages = "1--2", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Mathematical Synthesis of Equational Deduction Systems}", volume = 5608, year = 2009, }