Combinatorial redundancy detection

From MaRDI portal
Publication:1657399