Positive rudimentarity of the graphs of Ackermann and Grzegorczyk
scientific article; zbMATH DE number 3775506