Towards formal Baer criteria

Misselbeck-Wessel, Daniel; Rinaldi, Davide

Confluentes Mathematici, Volume 14 (2022) p. 49-63