RefineDiracProducts[expr]

simplifies all Dirac product and matches it into an expression to the basis of completely anti-symmetrized products.