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

Yanjun Lou, Z. Meral Özsoyoglu (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics