@article{CML_2022__14_1_49_0,
     author = {Misselbeck-Wessel, Daniel and Rinaldi, Davide},
     title = {Towards formal {Baer} criteria},
     journal = {Confluentes Mathematici},
     pages = {49--63},
     publisher = {Institut Camille Jordan},
     volume = {14},
     number = {1},
     year = {2022},
     doi = {10.5802/cml.82},
     language = {en},
     url = {http://archive.numdam.org/articles/10.5802/cml.82/}
}