id: 70561974
dt: a
an: 70561974
au: Lucas, Salvador
ti: Mu-term: A tool for proving termination of context-sensitive rewriting
so: RTA, 200-209 (2004).
py: 2004
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-25979-4_14