title: an efficient method for checking object-oriented database schema correctness. authors: michele missikoff , anna formica , hans dietmar gröger. venue: acm trans . database syst .. year: 1998
title: an efficient method for checking object-oriented database schema correctness. authors: a. formica , h. d. groger , m. missikoff. venue: acm transactions on database systems ( tods ). year: 1998