=Paper= {{Paper |id=Vol-3569/keynote1 |storemode=property |title=Automated Reasoning and Data Analytics for Declarative Process Mining |pdfUrl=https://ceur-ws.org/Vol-3569/keynote1.pdf |volume=Vol-3569 |authors=Claudio Di Ciccio |dblpUrl=https://dblp.org/rec/conf/pmai/Ciccio23 }} ==Automated Reasoning and Data Analytics for Declarative Process Mining== https://ceur-ws.org/Vol-3569/keynote1.pdf
None