Automatic white-box testing of first-order logic ontologies

  1. Álvez, J.
  2. Hermo, M.
  3. Lucio, P.
  4. Rigau, G.
Revista:
Journal of Logic and Computation

ISSN: 1465-363X 0955-792X

Año de publicación: 2019

Volumen: 29

Número: 5

Páginas: 723-751

Tipo: Artículo

DOI: 10.1093/LOGCOM/EXZ001 GOOGLE SCHOLAR