TY  - RPRT
TI  - Interpolation for Converse PDL
AU  - Johannes Kloibhofer
AU  - Valentina Trucco Dalmas
AU  - Yde Venema
PY  - 2025
UR  - https://arxiv.org/abs/2508.21485
ID  - 2508.21485
ER  -