The top documents tagged [extended formal report]