Equational definability and a quasi-ordering on Boolean functions

From MaRDI portal
Publication:6607227