Elimination over Finite Fields Using Grobner Bases