@inproceedings{10.1145/3661814.3662107,
  title = "A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures",
  author = "Pflueger, Maximilian and Marti, Johannes and Kostylev, Egor V.",
  year = "2024",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science",
  isbn = "9798400706608",
  keywords = "monadic least fixpoint logic, bisimulation, mu-calculus",
  location = "Tallinn, Estonia",
  publisher = "Association for Computing Machinery",
  series = "LICS '24",
  url = "https://doi.org/10.1145/3661814.3662107",
  doi = "10.1145/3661814.3662107",
}