Tyrolean termination tool (2005)

by N Hirokawa, A Middeldorp
Venue:In Proc. RTA ’05, LNCS 3467