J. Dodu, Marianne Morillon: The Hahn-Banach Property and the Axiom of Choice. Math. Log. Q. 45: 299-314 (1999)