5876 Saba, Walid (2007) Ontology and Formal Semantics - Integration Overdue. (Unpublished)