A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. - Nick Bezhanishvili; Tim Henke (J. Log. Comput., 2020)