The decidability of guarded fixed point logic

Grädel, Erich

Amsterdam : University Press (1999)
Contribution to a book

In: JFAK : Essays dedicated to Johan van Benthem on the Occasion of his 50. Birthday / Gebrandy, J. [u.a.] Hrsg