TY  - RPRT
TI  - Definability and Interpolation within Decidable Fixpoint Logics
AU  - Michael Benedikt
AU  - Pierre Bourhis
AU  - Michael Vanden Boom
PY  - 2019
DO  - 10.23638/lmcs-15(3:29)2019
UR  - https://arxiv.org/abs/1705.01823
ID  - 1705.01823
ER  -