The logic of constraint satisfaction (Q1204865)

From MaRDI portal