Trace selection and allocation for log-move audit of business process directly-follows graphs. - Críston Pereira de Souza; Paulo Henrique Macêdo de Araújo; Iana Mary Gomes Costa; Davi Romero de Vasconcelos; Regis Pires Magalhães (Inf. Syst., 2023)