%0 Journal Article %1 journals/logcom/AlvezHLR19 %A Álvez, Javier %A Hermo, Montserrat %A Lucio, Paqui %A Rigau, German %D 2019 %J J. Log. Comput. %K dblp %N 5 %P 723-751 %T Automatic white-box testing of first-order logic ontologies. %U http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#AlvezHLR19 %V 29

@article{journals/logcom/AlvezHLR19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Álvez, Javier and Hermo, Montserrat and Lucio, Paqui and Rigau, German}, biburl = {https://www.bibsonomy.org/bibtex/2f77d5accc68ceaf035f47897412ba2d7/dblp}, ee = {https://doi.org/10.1093/logcom/exz001}, interhash = {48c6ca21ff109548bb53a9bd2dc720d0}, intrahash = {f77d5accc68ceaf035f47897412ba2d7}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {723-751}, timestamp = {2024-04-09T05:12:46.000+0200}, title = {Automatic white-box testing of first-order logic ontologies.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#AlvezHLR19}, volume = 29, year = 2019 }