Simple termination of rewrite systems

Bulletin of the Section of Logic, Tom 24, Numer 1 (1995) s. 31-36
Aart Middeldorp, Hans Zantema

 

do góry