TY  - RPRT
TI  - CycleQ: An Efficient Basis for Cyclic Equational Reasoning
AU  - Eddie Jones
AU  - C-. H. Luke Ong
AU  - Steven Ramsay
PY  - 2022
UR  - https://arxiv.org/abs/2111.12553
ID  - 2111.12553
ER  -