Ambiguity Detection in Business Process Descriptions: An Evidence and an Automated Approach. - Hugo A. López 001; BingKun Feng; Jonas Lindner; Marco Franceschetti; Amine Abbad Andaloussi (BPM, 2025)