Stratifying pairs of subcategories for CPS-stratified algebras.

From MaRDI portal
Publication:4923938