On proving the termination of algorithms by machine
scientific article; zbMATH DE number 708642
scientific article