Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems | Publicación