The top documents tagged [mechanizationof sri]