TY  - JOUR
AU  - Daniel Misselbeck-Wessel
AU  - Davide Rinaldi
TI  - Towards formal Baer criteria
JO  - Confluentes Mathematici
PY  - 2022
SP  - 49
EP  - 63
VL  - 14
IS  - 1
PB  - Institut Camille Jordan
UR  - https://cml.centre-mersenne.org/articles/10.5802/cml.82/
DO  - 10.5802/cml.82
LA  - en
ID  - CML_2022__14_1_49_0
ER  -