Optimal Satisfiability Checking for Arithmetic mu-Calculi (bibtex)

Reference:

Daniel Hausmann and Lutz Schröder: Optimal Satisfiability Checking for Arithmetic mu-Calculi, In Mikolaj Bojanczyk, Alex Simpson, eds.: Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019, LNCS, Springer, 2019. to appear

Bibtex Entry:

@string{springer="Springer"}
@string{lncs="LNCS"}
@inproceedings{HausmannSchroder19,
   author = {Daniel Hausmann and Lutz Schr{\"o}der},
   title = {Optimal Satisfiability Checking for Arithmetic mu-Calculi},
   booktitle = {Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019},
   editor = {Mikolaj Bojanczyk and Alex Simpson},
   publisher = {Springer},
   series = {LNCS},
   note = {to appear},
   year = {2019},
   }