Bao, F. S.; Zhang, Z.; Zhang, Y. Medical Treatment Conflict Resolving in Answer Set Programming. AAAI 2011, 25, 1752-1753.