An Axiomatic approach to deductive object-oriented databases (1993)

by A A A Fernandes, M H Williams, N W Paton
Venue:Department of Computing and Electrical Engineering, Heriot-Watt University