added \see for BDD::Permute