A Bauer-Furuta-type refinement of Kronheimer and Mrowka's invariant for 4-manifolds with contact boundary
Kronheimer-Mrowka invariant for 4-manifolds with contact boundary
scientific article