Created in September 06, 2022
2022
📝 The paper Local Completeness Logic on Kleene Algebra with Tests is accepted at SAS 2022.