We view their algorithms as the enumeration algorithms based on reverse search, where
reverse search was introduced by Avis and Fukuda [4] to solve enumeration problems
efficiently. Note that our presentation of their algorithms is quite different from theirs
[21,14], which may be of independent interest