Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals. - Walter Krämer; Stefan Wedner (Reliab. Comput., 1996)