The Horn Mu-calculus.

Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz

Browse the full LICS paper archive.