@misc{indiciae0ef3765c9314, title = {Iteration Algebras for UnQL Graphs and Completeness for Bisimulation}, author = {Makoto Hamana}, year = {2015}, doi = {10.4204/eptcs.191.8}, url = {https://arxiv.org/abs/1509.05376}, note = {Source identifier: 1509.05376} }