Logic and databases : an object oriented approach. - Christopher Paul Higgins (1992)