Kreutzer, StephanWagner, Dorothea2017-09-222017-09-222003978-3-88579-407-1https://dl.gi.de/handle/20.500.12116/4467dePure and applied fixed-point logics1617-5468