zhang-2024-domain:
  type: article
  title: Domain Reasoning in TopKAT
  author:
  - Zhang, Cheng
  - name: Amorim
    given-name: Arthur Azevedo
    prefix: de
  - Gaboardi, Marco
  date: 2024
  page-range: 157:1-157:18
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.157
  serial-number:
    doi: 10.4230/LIPICS.ICALP.2024.157
  parent:
    type: proceedings
    title: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 297