TY  - RPRT
TI  - A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)
AU  - Jörg Endrullis
AU  - Helle Hvid Hansen
AU  - Dimitri Hendriks
AU  - Andrew Polonsky
AU  - Alexandra Silva
PY  - 2015
UR  - https://arxiv.org/abs/1505.01128
ID  - 1505.01128
ER  -