1. Matchings in infinite graphs;Aharoni;J. Comb. Theory, Ser. B,1988
2. On the strength of König's duality theorem for infinite bipartite graphs;Aharoni;J. Comb. Theory, Ser. B,1992
3. Computable Structures and the Hyperarithmetical Hierarchy;Ash,2000
4. Completion of choice;Brattka;Ann. Pure Appl. Log.,2021
5. Weihrauch complexity in computable analysis;Brattka,2021