A polynomial-time algorithm for near-unanimity graphs

From MaRDI portal
Publication:3022752