AOTO, T., YAMADA, T., & TOYAMA, Y. (2004, January 1). Inductive theorems for higher-order rewriting. Presented at the. Berlin: Springer, 2004. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851916
ISO-690 (author-date, English)AOTO, Takahito, YAMADA, Toshiyuki and TOYAMA, Yoshihito, 2004. Inductive theorems for higher-order rewriting. In: [online]. Berlin: Springer, 2004. 1 January 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851916
Modern Language Association 9th editionAOTO, T., T. YAMADA, and Y. TOYAMA. Inductive theorems for higher-order rewriting. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851916.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
AOTO, T., YAMADA, T. and TOYAMA, Y. (2004), “Inductive theorems for higher-order rewriting”, in , Vol. , Berlin: Springer, 2004., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851916.