Markus Bohlin A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints. [Citation Graph (0, 0)][DBLP] INAP/WLP, 2004, pp:166-184 [Conf]
Bounding Shared-Stack Usage in Systems with Offsets and Precedences. [Citation Graph (, )][DBLP]