@misc{indiciaec34835c86e7c, title = {About the unification type of simple symmetric modal logics}, author = {Philippe Balbiani and Çiğdem Gencer}, year = {2019}, url = {https://arxiv.org/abs/1902.03770}, note = {Source identifier: 1902.03770} }