Declarative process mining for DCR graphs. - Søren Debois; Thomas T. Hildebrandt; Paw Høvsgaard Laursen; Kenneth Ry Ulrik (SAC, 2017)