A. Belkacem and Z. Houhamdi, “Formal Approach to Data Accuracy Evaluation”, IJCAI, vol. 46, no. 2, Jun. 2022.