Optimal Satisfiability Checking for Arithmetic \mu -Calculi.

Daniel Hausmann, Lutz Schrder

Browse the full FOSSACS paper archive.