Before revision:  This is based on the notion of frontier antichains , generalizing the standard notion of right-most maximum antichain .
After revision:  This is based on the notion of frontier antichains .