Tobias Nipkow
Orthogonal Higher-Order Rewrite Systems are Confluent
TLCA, 1993.
@inproceedings{TLCA-1993-Nipkow, author = "Tobias Nipkow", booktitle = "{Proceedings of the International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/BFb0037114", isbn = "3-540-56517-5", pages = "306--317", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Orthogonal Higher-Order Rewrite Systems are Confluent}", volume = 664, year = 1993, }