The mixed form of the elasticity equations is to find the unique critical point of the Hellinger-Reissner functional
$$J(u, \sigma) = \int_\Omega\left\{\frac{1}{2}A\sigma : \sigma + u\cdot\left(\nabla\cdot\sigma - f\right)\right\}dx$$
where $u$ is a vector field, $\sigma$ is a symmetric tensor field. The inputs are the rank-4 compliance tensor $A$ (which has some symmetries) and the forcing vector $f$. What finite elements are stable for this problem and what are their pros and cons? Alternatively, what stabilized formulations work?