NP Reasoning in the Monotone µ-Calculus (bibtex)

Reference:

Daniel Hausmann and Lutz Schröder: NP Reasoning in the Monotone µ-Calculus, In Nicolas Peltier, Viorica Sofronie-Stokkermans, eds.: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, Lecture Notes in Computer Science, vol. 12166, pp. 482–499, Springer, 2020.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/cade/001S20,
 author    = {Hausmann, Daniel  and
               Schröder, Lutz},
  editor    = {Nicolas Peltier and
               Viorica Sofronie{-}Stokkermans},
  title     = {{NP} Reasoning in the Monotone µ-Calculus},
  booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
               2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12166},
  pages     = {482--499},
  publisher = {Springer},
  year      = {2020},
  nourl       = {https://doi.org/10.1007/978-3-030-51074-9\_28},
  doi       = {10.1007/978-3-030-51074-9\_28},
  timestamp = {Sun, 25 Jul 2021 11:51:37 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/001S20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}