T Finin;D Silverman
-;-
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering