The locally definable property of the product control structure

From MaRDI portal
Publication:4540248