SEN1-2

From MaRDI portal