GETGRATS: A summary of scientific results (with annotated bibliography)

Andrea Corradini. GETGRATS: A summary of scientific results (with annotated bibliography). Electronic Notes in Theoretical Computer Science, 51:1-64, 2001. [doi]

Abstract

Abstract is missing.