Michele Missikoff, Herman Lam. On Semantic Verification of Object-Oriented Database Schemas. In Opher Etzion, Arie Segev, editors, NGITS 93 - The International Workshop on Next Generation Information Technologies and Systems, Technion, Haifa, Israel, June 28-30, 1993. 1993.
Abstract is missing.