Two Solutions for Checking LTLf Properties in Event Logs. - Tedi Ibershimi; Diellsimeone Xhemalaj; Anti Alman; Ivan Donadello; Fabrizio Maria Maggi (ICPM Doctoral Consortium / Demo, 2023)