Steven Obua
Checking Conservativity of Overloaded Definitions in Higher-Order Logic
RTA, 2006.
@inproceedings{RTA-2006-Obua, author = "Steven Obua", booktitle = "{Proceedings of the 17th International Conference on Term Rewriting and Applications}", doi = "10.1007/11805618_16", editor = "Frank Pfenning", isbn = "3-540-36834-5", pages = "212--226", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Checking Conservativity of Overloaded Definitions in Higher-Order Logic}", volume = 4098, year = 2006, }