Layered fixed point logic.

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson

Browse the full PPDP paper archive.