Another proof that ISP_ r(K) is the least quasivariety containing K

From MaRDI portal
Publication:795076