"Fixpunkt-Logik." . . . . . "Pure and applied fixed-point logics" . . . "Online-Publikation" . . "Pure and applied fixed point logics" . . .