Depth lower bounds in Stabbing Planes for combinatorial principles (Logical Methods in Computer Science, 2024)