Computing the Jump Number on Semi-orders Is Polynomial. - Angela von Arnim; Colin de la Higuera (Discret. Appl. Math., 1994)