Automated Verification of Szymanski's Algorithm. - E. Pascal Gribomont; Guy Zenner (TACAS, 1998)