@misc{indiciaec200243a4189,
  title = {Automatic White-Box Testing of First-Order Logic Ontologies},
  author = {Javier Álvez and Montserrat Hermo and Paqui Lucio and German Rigau},
  year = {2019},
  url = {https://arxiv.org/abs/1705.10219},
  note = {Source identifier: 1705.10219}
}