1. S. Baratella, C. Toffalori, The theory of Z[C(2)2]-lattices is decidable, Arch. Math. Logic, to appear.
2. On the elementary theory of quadruples of vectorspaces;Baur;Ann. Math. Logic,1980
3. On the classification of local integral representations of finite abelian p-groups;Butler,1975
4. Methods of Representation Theory with Applications to Finite Groups and Orders;Curtis,1981
5. Group rings of wild representation type;Dieterich;Math. Ann.,1983