Exact complexity bounds for ordinal addition
scientific article; zbMATH DE number 983347
scientific article