@misc{indiciaed891d68c2c51,
  title = {On the Formalization of Importance Measures using HOL Theorem Proving},
  author = {Waqar Ahmed and Shahid Ali Murtza and Osman Hasan and Sofiene Tahar},
  year = {2019},
  url = {https://arxiv.org/abs/1904.01605},
  note = {Source identifier: 1904.01605}
}