The top documents tagged [bdd distinct]