@TechReport{nanevski+:geompred-tr,
  author = 	 {Aleksandar Nanevski and Guy Blelloch and Robert Harper},
  title = 	 {Automatic Generation of Staged Geometric Predicates},
  institution =  cmu-scs,
  year = 	 2001,
  number =	 {CMU--CS--01--141},
  address =	 {Pittsburgh, PA},
  month =	 {June}
}