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