"Method Inheritance with Object Updates in an Object-Oriented Logic ..."

Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics