Vol-1230⫷ Vol-1231 ⫸Vol-1232
urn:nbn:de:0074-1231-0


Vol-1231/long17⫷Vol-1231/short1⫸Vol-1231/short2

Proving termination of programs having transition invariants of height ω