@inproceedings{RTA-2004-AotoYT,
author = "Takahito Aoto and Toshiyuki Yamada and Yoshihito Toyama",
booktitle = "{Proceedings of the 15th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-540-25979-4_19",
editor = "Vincent van Oostrom",
isbn = "3-540-22153-0",
pages = "269--284",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Inductive Theorems for Higher-Order Rewriting}",
volume = 3091,
year = 2004,
}
Tags: