TY  - RPRT
TI  - Automatic White-Box Testing of First-Order Logic Ontologies
AU  - Javier Álvez
AU  - Montserrat Hermo
AU  - Paqui Lucio
AU  - German Rigau
PY  - 2019
UR  - https://arxiv.org/abs/1705.10219
ID  - 1705.10219
ER  -