@inproceedings{zhang-2024-domain,
  doi = {10.4230/LIPICS.ICALP.2024.157},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.157},
  author = {Zhang, Cheng and de Amorim, Arthur Azevedo and Gaboardi, Marco},
  keywords = {Kleene algebra, Kleene Algebra With Tests, Kleene Algebra With Domain, Kleene Algebra With Top and Tests, Completeness, Decidability, Theory of computation → Formal languages and automata theory, Theory of computation → Programming logic},
  language = {en},
  title = {Domain Reasoning in TopKAT},
  volume = {297},
  pages = {157:1-157:18},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2024},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)}
}