H. Erdogan, O. Bodenreider, and E. Erdem, “Finding Semantic Inconsistencies in UMLS using Answer Set Programming”, AAAI, vol. 24, no. 1, pp. 1927-1928, Jul. 2010.