"Automatic Generation of Staged Geometric Predicates."

Aleksandar Nanevski, Guy E. Blelloch, Robert Harper (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics