TY  - RPRT
TI  - Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses
AU  - Jerome Jochems
PY  - 2021
DO  - 10.4204/eptcs.344.4
UR  - https://arxiv.org/abs/2109.04632
ID  - 2109.04632
ER  -