A strong induction scheme that leads to polynomially computable realizations
scientific article; zbMATH DE number 2111103