Mixing for Some Non-Uniformly Hyperbolic Systems