sentence1: in sections 4-6 , we present the three partial solvers proposed in for parity games and we explain how to extend them to generalized parity games .
sentence2: in this paper , we have shown how to extend the three partial solvers for parity games proposed in to the case of generalized parity games .