Alfonso San Miguel Aguirre Symmetries and the Cardinality Operator. 18-22 1992 ECAI db/conf/ecai/ecai92.html#Aguirre92