Canonical varities with no canonical axiomatisation - Hodkinson, Ian; Venema, Yde (Inst. for Logic, Language and Computation, 2003)