Birkhoff's variety theorem with and without free algebras. Adámek, Jiří, Trnková, Věra (2005) Theory and Applications of Categories [electronic only]