Covering and disjointness constraints in type networks | IEEE Conference Publication | IEEE Xplore