Alternative Aggregates in Mizar. - Gilbert Lee; Piotr Rudnicki (Calculemus/MKM, 2007)