Kiyoshi Akama, Ekawit Nantajeewarawat. Function-variable Elimination and Its Limitations. In Ana L. N. Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe, editors, KEOD 2015 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, part of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015), Volume 2, Lisbon, Portugal, November 12-14, 2015. pages 212-222, SciTePress, 2015. [doi]
Abstract is missing.