Realizability in cyclic proof: extracting ordering information for infinite descent
scientific article; zbMATH DE number 6833563