Joubine Dustzadeh Elie Najm Consistent Semantics for ODP Information and Computational Models. 107-126 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#DustzadehN97