A logical framework for detecting anomalies in drug resistance algorithms - L. Caroprese; P. M. A. Sloot; B. Ó Nualláin; E. Zumpano (Proceedings of IDEAS'09, 2009)