Contradiction Finding and Minimal Recovery for UML Class Diagrams | IEEE Conference Publication | IEEE Xplore