A. Alhazov, R. Freund, M. Oswald, S. Verlan: "Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions."; Fundamenta Informaticae, 91 (2009), 1; 17 - 34.