LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance.

Yanjun Lou, Z. Meral zsoyoglu

Browse the full SIGMOD paper archive.