F. S. Bao, Z. Zhang, and Y. Zhang, “Medical Treatment Conflict Resolving in Answer Set Programming”, AAAI, vol. 25, no. 1, pp. 1752-1753, Aug. 2011.