Cardoso N, Abreu R.? 2014.??Enhancing Reasoning Approaches to Diagnose Functional and Non-Functional Errors. 25th International Workshop on Principles of Diagnosis (DX'14).