The setplayer system for symbolic computation on power sets (1992)

by D Berque, R Cecchini, M Goldberg, R Rivenburgh
Venue:Center for