American Psychological Association 6th edition

LUCAS, S. (2004, January 1). MU-TERM: A tool for proving termination of context-sensitive rewriting. Presented at the. Berlin: Springer, 2004. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851911

ISO-690 (author-date, English)

LUCAS, Salvador, 2004. MU-TERM: A tool for proving termination of context-sensitive rewriting. In: [online]. Berlin: Springer, 2004. 1 January 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851911

Modern Language Association 9th edition

LUCAS, S. MU-TERM: A tool for proving termination of context-sensitive rewriting. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851911.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

LUCAS, S. (2004), “MU-TERM: A tool for proving termination of context-sensitive rewriting”, in , Vol. , Berlin: Springer, 2004., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851911.

Warning: These citations may not always be 100% accurate.