Jamil, Hasan M (1996) Semantics of behavioral inheritance in deductive object-oriented databases. PhD thesis, Concordia University.