TY  - RPRT
TI  - Higher-Order MSL Horn Constraints
AU  - Jerome Jochems
AU  - Eddie Jones
AU  - Steven Ramsay
PY  - 2022
UR  - https://arxiv.org/abs/2210.14649
ID  - 2210.14649
ER  -