Miklós Maróti Ralph McKenzie Finite basis problems and results for quasivarieties. 293-320 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-3320-5 db/journals/sLogica/sLogica78.html#MarotiM04