A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. - Zohaib Khai; Aamer Nadeem; Gang-soo Lee (FGIT-ASEA/DRBC/EL, 2011)