Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic. - R. F. Sadykov; Mikhail U. Mandrykin (Program. Comput. Softw., 2022)