The Set Player System for Symbolic Computation on Power Sets. - Dave A. Berque; R. Cecchini; Mark K. Goldberg; Reid D. Rivenburgh (J. Symb. Comput., 1992)