1 paper
Guozhen Shen
In 1966, Mal'cev proved that a class K of first-order structures with a specified signature is a quasivariety if and only if K contains a unit and is closed…