  The Axiom AFA was first studied by Marco Forti and Furio Honsell in 1983. Their paper (Forti and Honsell 1983) studies a number of axioms which contradict the Foundation Axiom FA, continuing a much older line of work in set theory that deals with alternatives to FA.  The one they call X1 is equivalent to what has now come to be called AFA.