Publications by the researcher in collaboration with JAVIER ALVEZ GIMENEZ (2)

2019

  1. Automatic white-box testing of first-order logic ontologies

    Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751

2009

  1. A new proposal for using first-order theorem provers to reason with OWL DL ontologies

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009