@inbook{roshal-2026-ordered, title={Ordered Adjoint Logic}, ISBN={9783032325921}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-32592-1_6}, DOI={10.1007/978-3-032-32592-1_6}, booktitle={Automated Reasoning}, publisher={Springer Nature Switzerland}, author={Roshal, Sophia and Pfenning, Frank}, year={2026}, pages={91–108} }