The extensions of BAlt3. - David Ullrich; Michael Byrd (J. Philos. Log., 1977)