Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. - Stephan Frank; Petra Hofstedt; Dirk Reckmann (WLPE, 2004)

Meta-S - Combining Solver Cooperation and Programming Languages. - Stephan Frank; Petra Hofstedt; Dirk Reckmann (W(C)LP, 2005)

Solution Strategies for Multi-domain Constraint Logic Programs. - Stephan Frank; Petra Hofstedt; Peter Pepper; Dirk Reckmann (Ershov Memorial Conference, 2006)