TOYAMA, Y. (2004, Januar 1). Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms. Gehalten auf der. Berlin: Springer, 2004. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851902
ISO-690 (author-date, English)TOYAMA, Yoshihito, 2004. Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms. In: [online]. Berlin: Springer, 2004. 1 Januar 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851902
Modern Language Association 9th editionTOYAMA, Y. Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851902.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
TOYAMA, Y. (2004), „Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms“, in , Bd. , Berlin: Springer, 2004., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851902.