@inproceedings{DBLP:conf/lics/BenediktBVB16,
  title = "A Step Up in Expressiveness of Decidable Fixpoint Logics",
  author = "Michael Benedikt and Pierre Bourhis and Michael {Vanden Boom}",
  year = "2016",
  booktitle = "Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016",
  pages = "817--826",
  url = "http://doi.acm.org/10.1145/2933575.2933592",
  doi = "10.1145/2933575.2933592",
}