C. M. Hoffmann and R. Joan-Arinyo. On User-Defined Features. In CAD 30, 1998.
C. M. Hoffmann and R. Joan-Arinyo. CAD and the Product Master Model. In CAD 30, pages 905-919, 1998.
C. M. Hoffmann, A. Lomonosov, and M. Sitharam. Finding Solvable Subsets of Constraint Graphs. In G. Smolka, editor, Lecture Notes of Computer Science, 1330:463-477, Springer, 1997.
C. M. Hoffmann, A. Lomonosov, and M. Sitharam. A Fast Algorithm for Finding Minimal Dense Subgraphs and Applications to Geometric Constraint Solving. In Constraint Programming '97, October 1997.