Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire: Full Reduction at Full Throttle. CPP 2011: 362-377