Hasan M. Jamil Laks V. S. Lakshmanan A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. 130-144 1995 ILPS db/conf/slp/slp95.html#JamilL95