A tool for compiling Declarative Process Mining problems in ASP

Publication
Software Impacts