Gen Zou, Harold Boley. Minimal Objectification and Maximal Unnesting in PSOA RuleML. In José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, editors, Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Volume 9718 of Lecture Notes in Computer Science, pages 130-147, Springer, 2016. [doi]
Abstract is missing.