Transforming Termination by Self-Labelling (1996)

by Aart Middeldorp , Hitoshi Ohsaki , Hans Zantema
Citations:17 - 3 self