S. Alxatib and N. Ivlieva, “Van Benthem’s problem, exhaustification, and distributivity”, SuB, vol. 21, no. 1, pp. 1–18, May 2019.