Guarded Fixed Point Logic.

Erich Grdel, Igor Walukiewicz

Browse the full LICS paper archive.