The partial clone of linear formulas

From MaRDI portal
Publication:2010197