@misc{indiciae8b48dd479f74,
  title = {Black-box Testing of First-Order Logic Ontologies Using WordNet},
  author = {Javier Álvez and Paqui Lucio and German Rigau},
  year = {2018},
  url = {https://arxiv.org/abs/1705.10217},
  note = {Source identifier: 1705.10217}
}