On proving termination of algorithms by machine (1994)

by C Walther
Venue:Artificial Intelligence