Approximation Fixpoint Theory with Refined Approximation Spaces

Open in new window