https://business-gefunden.com/155819/3442500/informatik-edv-1/handbook-of-parallel-constraint-reasoning.html