Return to Article Details AF-equivalence relations Download Download PDF