Constructive Disjunction in Oz. - Tobias Müller 002; Jörg Würtz (WLP, 1995)

Constructive Disjunction Revisited. - Jörg Würtz; Tobias Müller 002 (KI, 1996)

Connecting Propagators with a Concurrent Constraint Language. - Tobias Müller 002; Jörg Würtz (ICLP, 1997)

Extending a Concurrent Constraint Language by Propagators. - Tobias Müller 002; Jörg Würtz (ILPS, 1997)

Embedding Propagators in a Concurrent Constraint Language. - Tobias Müller 002; Jörg Würtz (J. Funct. Log. Program., 1999)

Figaro: Yet Another Constraint Programming Library. - Martin Henz; Tobias Müller 002; Ka Boon Ng (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Extensions of Constraint Solving for Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (ECAI, 2000)

Integrating Constraint Solving into Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (FroCoS, 2000)

Constraint propagation in Mozart. - Tobias Müller 002 (2001)

Global constraints for round robin tournament scheduling. - Martin Henz; Tobias Müller 002; Sven Thiel (Eur. J. Oper. Res., 2004)