Alexander Borgida Modeling Class Hierarchies with Contradictions. 434-443 1988 conf/sigmod/88 SIGMOD Conference db/conf/sigmod/sigmod88.html#Borgida88 https://doi.org/10.1145/50202.50254 https://doi.org/10.1145/971701.50254 SIGMOD88/P434.PDF conf/sigmod/NixonCLBMS87 ... ... journals/tods/Borgida85 ... conf/sigmod/BunemanA86 ... journals/csur/CardelliW85 conf/vldb/ChanDFLNR82 conf/vldb/ChanDFR83 journals/tods/SmithS77