A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces. - Fabian Lukas Grubmüller; Iosif Petrakis (J. Log. Anal., 2025)