Lifting Gröbner Bases from the Exterior Algebra