20220927

A paper is accepted as oral presentation in DICTA 2022.