Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms (IFSR International Series in Systems Science and Systems Engineering)