title: a logical foundation for deductive object-oriented databases. authors: m liu , g dobbie , t ling. venue: acm trans . database syst .. year: 2002
title: a logic for object-oriented logic programming. authors: m kifer , j wu. venue: proceedings of the eighth acm sigact-sigmod-sigart symposium & hellip ; ,. year: 1989.0