Simple Termination of Rewrite Systems (1997)

by Aart Middeldorp , Hans Zantema
Venue:Theoretical Computer Science
Citations:16 - 2 self