Kiyoshi Akama, Ekawit Nantajeewarawat. Meaning-preserving Skolemization. In Joaquim Filipe, Jan L. G. Dietz, editors, KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011. pages 322-327, SciTePress, 2011.
@inproceedings{AkamaN11-0, title = {Meaning-preserving Skolemization}, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, year = {2011}, researchr = {https://researchr.org/publication/AkamaN11-0}, cites = {0}, citedby = {0}, pages = {322-327}, booktitle = {KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011}, editor = {Joaquim Filipe and Jan L. G. Dietz}, publisher = {SciTePress}, isbn = {978-989-8425-80-5}, }