2 citations to https://www.mathnet.ru/rus/lncs41

1. Nathan Mull, Shuo Pang, Alexander Razborov, “On CDCL-based proof systems with the ordered decision strategy”, SIAM J. Comput., 51:4 (2022), 1368–1399    
2. Nathan Mull, Shuo Pang, Alexander Razborov, “On CDCL-Based Proof Systems with the Ordered Decision Strategy”, Lecture Notes in Comput. Sci., 12178 (2020), 149–165