Approximation and decomposition in lattices of clutters

From MaRDI portal
Publication:6041563