Robert Nieuwenhuis
Invited Talk: Rewrite-based Deduction and Symbolic Constraints
CADE, 1999.
@inproceedings{CADE-1999-Nieuwenhuis, author = "Robert Nieuwenhuis", booktitle = "{Proceedings of the 16th International Conference on Automated Deduction}", doi = "10.1007/3-540-48660-7_28", isbn = "3-540-66222-7", pages = "302--313", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Invited Talk: Rewrite-based Deduction and Symbolic Constraints}", volume = 1632, year = 1999, }