Luciano Caroprese Peter M. A. Sloot B. Ó. Nualláin Ester Zumpano A logical framework for detecting anomalies in drug resistance algorithms. 23-30 2009 IDEAS http://doi.acm.org/10.1145/1620432.1620436 conf/ideas/2009 db/conf/ideas/ideas2009.html#CaropreseSNZ09