Tamalu, Nicolas, Ensina, Leandro, Cunha de Almeida, Eduardo, Pena, Eduardo, AND Oliveira, Luiz. " Fault Detection in Transmission Lines: a Denial Constraint Approach" Proceedings of the Brazilian Symposium on Databases (SBBD) [Online], (25 September 2023)