title: an efficient method for checking object-oriented database schema correctness. authors: a formica , h grіger , m missikoff. venue: acm trans . database syst .. year: 1998
title: an efficient method for checking object-oriented database schema correctness. authors: a formica , hd groger , m missikoff. venue: acm transactions on database systems ,. year: 1998.0