Semilattice operations on finite subsets. (1990)

by Andrzej Trybulec
Venue:Formalized Mathematics,