On the uniform halting problem for term rewriting systems (1978)

by G Huet, D Lankford
Venue:Laboria 283, IRIA, Le Chesnay