This paper completes the classification of antipodal distance-transitive covers of the complete bipartite graphs K k , k , where k у 3 . For such a cover the antipodal blocks must have size r р k .Although the case r ϭ k has already been considered , we give a unified treatment of r р k . We use deep group-theoretic results as well as representation-theoretic data about explicit linear groups and group coset geometries .Apart from the generic examples arising from finite projective spaces , there are three sporadic examples (arising from the outer automorphisms of the symmetric group S 6 and of the Mathieu group M 1 2 and one related to non-abelian Singer groups on PG 2 (4)) and an infinite family having solvable automorphism group (and with parameters r ϭ q b , k ϭ q a , whereand q is a prime power) . Smith [23] showed that there were only two types of partitions À which can be preserved by Aut G , for a finite imprimitive distance-transitive graph ⌫ of valency at least 3 , namely : (1) À ϭ ͕ ⌬ 1 , ⌬ 2 ͖ , and each edge of ⌫ joins a vertex of ⌬ 1 to a vertex of ⌬ 2 , in which case ⌫ is bipartite ; andHere we use the notationV , which is then called the antipodal partition of V . With any antipodal graph ⌫ we can associate a natural quotient graph , which we shall denote by ⌫ Ј , the vertex set of which is the antipodal partition of ⌫ , two antipodal blocks being adjacent in ⌫ Ј whenever they contain adjacent vertices of ⌫ . If ⌫ is antipodal and its antipodal blocks have size r , then ⌫ is called an r -fold antipodal co er of ⌫ Ј . Smith [23] showed , moreover , that if ⌫ is a finite antipodal distance-transitive graph then its antipodal quotient ⌫ Ј is also distance-transitive . Thus , as part of the problem of classifying finite distance-transitive graphs , all distance-transitive , antipodal covers of the known distance-transitive graphs must be determined . This has been done by J . van