Regesta Imperii. I. Die Regesten des Kaiserreichs unter den Karolingern 751–918 (987) : Bd. 4: Papstregesten 800–911. Teil 3: 872–882