A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.

Michele Bugliesi, Hasan M. Jamil

Browse the full ICDT paper archive.