A study on the interaction between interscheme property extraction and type conflict resolution | IEEE Conference Publication | IEEE Xplore