E. Mazėtis and G. Melničenko, “Necessary and sufficient conditions in theorems”, LMR, vol. 65, no. B, pp. 34–44, Dec. 2024, doi: 10.15388/LMD.2024.38089.