1. G. Alonso, P. Dadam, M. Rosemann (Eds.), Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24–28, 2007, Proceedings, vol. 4714 of Lecture Notes in Computer Science, Springer, 2007.
2. A really temporal logic;Alur;Journal of the ACM,1994
3. A.K. Alves de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, A.J.M.M. Weijters, Process mining: extending the alpha-algorithm to mine short loops, BETA working paper series 113, Eindhoven University of Technology, 2004.
4. Genetic process mining: an experimental evaluation;Alves de Medeiros;Data Mining and Knowledge Discovery,2007
5. Top-down induction of first-order logical decision trees;Blockeel;Artificial Intelligence,1998