NP Reasoning in the Monotone μ-Calculus.

Daniel Hausmann, Lutz Schrder

Browse the full CADE paper archive.