The top documents tagged [ieeeabstractlattice]