Nissim Francez. On harmony and permuting conversions. J. Applied Logic, 21:14-23, 2017. [doi]
@article{Francez17-0, title = {On harmony and permuting conversions}, author = {Nissim Francez}, year = {2017}, doi = {10.1016/j.jal.2016.12.004}, url = {http://dx.doi.org/10.1016/j.jal.2016.12.004}, researchr = {https://researchr.org/publication/Francez17-0}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {21}, pages = {14-23}, }