https://5dok.net/document/q05295e9-university-groningen-optimal-bounds-bounded-optimality-böhm-udo.html