A. J. Asatryan, “Constraint Management in Database Applications via Checker Framework”, MPCS, vol. 23, pp. 12–19, Dec. 2024.