A note on the normal form of closed formulas of interpretability logic
scientific article; zbMATH DE number 4202238