Declarative Process Discovery: Linking Process and Textual Views. - Hugo A. López 001; Rasmus Strømsted; Jean-Marie Niyodusenga; Morten Marquard (CAiSE Forum, 2021)