Xavier Redon Paul Feautrier Detection of Scans in the Polytope Model. 229-263 2000 15 Parallel Algorithms Appl. 3-4 db/journals/paapp/paapp15.html#RedonF00