George Weaver Compactness in Equational Logic. 25-46 2005 39 Reports on Mathematical Logic http://www.iphils.uj.edu.pl/rml/rml-39/a-wea-39.htm db/journals/rml/rml39.html#Weaver05