Steven Garavaglia Direct Product Decomposition of Theories of Modules. 77-88 1979 44 J. Symb. Log. 1 db/journals/jsyml/jsyml44.html#Garavaglia79