The top documents tagged [bdd summary]