HAMANA, M. (2006, January 1). An initial algebra approach to term rewriting systems with variable binders. 19(2-3). Heidelberg: Springer, 2006. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221
ISO-690 (author-date, English)HAMANA, Makoto, 2006. An initial algebra approach to term rewriting systems with variable binders. In: [online]. Heidelberg: Springer, 2006. 1 January 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221
Modern Language Association 9th editionHAMANA, M. An initial algebra approach to term rewriting systems with variable binders. no. 2-3, Heidelberg: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HAMANA, M. (2006), “An initial algebra approach to term rewriting systems with variable binders”, in , Vol. 19, Heidelberg: Springer, 2006., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221.