arXiv 2015-08-20 EN Reversible Barbed Congruence on Configuration Structures Aubert, Clément · Cristescu, Ioana
