On distinguishing sets of structures by first-order sentences of minimal quantifier rank. (English) Zbl 1434.03090
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).