Logic and inheritance (1986)

by H Ait-Kaci, R Nasr
Venue:In Proc. 13th ACM Symp. on Princ. of Programming Languages