TITLE     : Checking approximate computations over the reals
AUTHOR(S) : Ar S, Blum M, Codenotti B, Gemmell P
TYPE      : Conference article
YEAR      : 1993
CODE      : 412809

*** DO NOT EDIT THIS FILE ***