Convergence of adaptive boundary element methods driven by functional a posteriori error estimates. - Alexander Freiszlinger; Dirk Pauly; Dirk Praetorius (CoRR, 2025)