Before revision:  As we process the vertices in a topological order, these at most 2^k frontier antichains can be maintained with the help of several combinatorial properties .
After revision:  As we process the vertices in a topological order, all frontier antichains can be maintained with the help of several combinatorial properties .