Return to Article Details Computing Trace Alignment against Declarative Process Models through Planning Download Download PDF