Taking Complete Finite Prefixes To High Level, Symbolically - Würdemann, Nick; Chatain, Thomas; Haar, Stefan; Panneke, Lukas (Fundamenta Informaticae, 2024)