Distribution of Linux Log Files Described by Predicate Linear Logic Formula. - Ján Perhác; Daniel Mihályi; Lukas Relosky (SACI, 2018)