Paul Gastin, Amaldev Manuel, R. Govind. Logics for Reversible Regular Languages and Semigroups with Involution. In Piotrek Hofman, Michal Skrzypczak, editors, Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings. Volume 11647 of Lecture Notes in Computer Science, pages 182-191, Springer, 2019. [doi]
Abstract is missing.