Commutative one-counter languages are regular

From MaRDI portal
Publication:800097