TY  - RPRT
TI  - A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity
AU  - Clemens Grabmayer
PY  - 2021
UR  - https://arxiv.org/abs/2108.13104
ID  - 2108.13104
ER  -