Improving adherence to heart failure management guidelines via abductive reasoning*. Issue 5 (23rd August 2017)