Parallel execution of Parlog - Cheese, A. (Lecture notes in computer science ;)