Pieri rules for the K-theory of cominuscule Grassmannians ,
K-theoretic Schubert calculus for OG(n, 2n + 1) and jeu de taquin for shifted increasing tableaux, Naruse, K-theoretic analogue of Schur Q-functions and maximal isotropic Grassmannians ,
Bumping algorithm for shifted set-valued tableaux ,