BooleanCanalization (Q1350429)

From MaRDI portal