A Gröbner basis criterion for birational equivalence of affine varieties Computational invariant theory. With two appendices by Vladimir L. Popov and an addendum by Nobert A. Campo and Vladimir L. Popov 