## Aline Deruyver

*EMMY: A Refutational Theorem Prover for First-Order Logic with Equation*

RTA, 1991.

@inproceedings{RTA-1991-Deruyver, author = "Aline Deruyver", booktitle = "{Proceedings of the Fourth International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-53904-2_118", editor = "Ronald V. Book", isbn = "3-540-53904-2", pages = "439--441", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{EMMY: A Refutational Theorem Prover for First-Order Logic with Equation}", volume = 488, year = 1991, }