Freiheit, Jörn Automation of Logic, MPI for Informatics, Max Planck Society;
Cuntz, N., Freiheit, J., & Kindler, E. (2005). On the semantics of EPCs: Faster calculation for EPCs with small state spaces. In EPK 2005. 4. Workshop der GI, Arbeitskreis: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (pp. 7-23). Bonn, Germany: Gesellschaft für Informatik.
