TY  - RPRT
TI  - Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
AU  - Makoto Hamana
PY  - 2015
DO  - 10.4204/eptcs.191.8
UR  - https://arxiv.org/abs/1509.05376
ID  - 1509.05376
ER  -