Proof theory of skew non-commutative \texttt{MILL}
scientific article; zbMATH DE number 7964356
scientific article