Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
Descendants and Head Normalization of Higher-Order Rewrite Systems
FLOPS, 2002.
@inproceedings{FLOPS-2002-KasuyaSA, author = "Hideto Kasuya and Masahiko Sakai and Kiyoshi Agusa", booktitle = "{Proceedings of the Sixth International Symposium on Functional and Logic Programming}", doi = "10.1007/3-540-45788-7_12", isbn = "3-540-44233-2", pages = "198--211", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Descendants and Head Normalization of Higher-Order Rewrite Systems}", volume = 2441, year = 2002, }