## Jean-Pierre Jouannaud, Miguel Munoz

*Termination of a Set of Rules Modulo a Set of Equations*

CADE, 1984.

@inproceedings{CADE-1984-JouannaudM, author = "Jean-Pierre Jouannaud and Miguel Munoz", booktitle = "{Proceedings of the Seventh International Conference on Automated Deduction}", doi = "10.1007/BFb0047121", isbn = "3-540-96022-8", pages = "175--193", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Termination of a Set of Rules Modulo a Set of Equations}", volume = 170, year = 1984, }