Guoqian Jiang Jyotishman Pathak Christopher G. Chute Formalizing ICD coding rules using Formal Concept Analysis. 504-517 2009 42 Journal of Biomedical Informatics 3 http://dx.doi.org/10.1016/j.jbi.2009.02.005 db/journals/jbi/jbi42.html#JiangPC09