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-exists^{2} fragment of the first-order theory of atomic set constraints is Pi^{0}_{1}-hard. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2000, v:74, n:1-2, pp:27-33 [Journal]