An order-based composition semantics for the inheritance in logic-based object-oriented paradigm | IEEE Conference Publication | IEEE Xplore