Title: A refinement procedure for computing fixed points using Scarf's primitive sets
Subjects: Fixed point theory, Algorithms, Combinatorial set theory