roshal-2026-ordered:
  type: chapter
  title: Ordered Adjoint Logic
  author:
  - Roshal, Sophia
  - Pfenning, Frank
  date: 2026
  page-range: 91-108
  url: http://dx.doi.org/10.1007/978-3-032-32592-1_6
  serial-number:
    doi: 10.1007/978-3-032-32592-1_6
    isbn: '9783032325921'
    issn: 1611-3349
  parent:
    type: book
    title: Automated Reasoning
    publisher: Springer Nature Switzerland