N. Tamalu, L. Ensina, E. Cunha de Almeida, E. Pena, and L. Oliveira. " Fault Detection in Transmission Lines: a Denial Constraint Approach", in Proceedings of the 38th Brazilian Symposium on Databases, Belo Horizonte/MG, 2023, pp. 231-243, doi: https://doi.org/10.5753/sbbd.2023.231718.