Roberto Virga
Higher-Order Superposition for Dependent Types
RTA, 1996.
@inproceedings{RTA-1996-Virga, author = "Roberto Virga", booktitle = "{Proceedings of the Seventh International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-61464-8_47", editor = "Harald Ganzinger", isbn = "3-540-61464-8", pages = "123--137", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Higher-Order Superposition for Dependent Types}", volume = 1103, year = 1996, }