Fabrizio Maria Maggi: Declarative Process Mining. Encyclopedia of Big Data Technologies 2019