Thomas Bolander, Alessandro Burigana. Better Bounded Bisimulation Contractions. In Agata Ciabattoni, David Gabelaia, Igor Sedlár, editors, Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. pages 249-268, College Publications, 2024.
No references recorded for this publication.
No citations of this publication recorded.