François Bertault A force-directed algorithm that preserves edge-crossing properties. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2000, v:74, n:1-2, pp:7-13 [Journal]
Manfred Göbel Rings of polynomial invariants of the alternating group have no finite SAGBI bases with respect to any admissible order. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2000, v:74, n:1-2, pp:15-18 [Journal]
Jean-Marc Talbot The forall-exists2 fragment of the first-order theory of atomic set constraints is Pi01-hard. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2000, v:74, n:1-2, pp:27-33 [Journal]