%0 Journal Article %A Kowalski, Tomasz %A Paoli, Francesco %A Spinks, Matthew %D 2011 %J Journal of Symbolic Logic %N 4 %P 1261-1286 %T Quasi-subtractive varieties %V 76