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]

@article{Corradini01:0,
  title = {GETGRATS: A summary of scientific results (with annotated bibliography)},
  author = {Andrea Corradini},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/116/25/show/Products/notes/index.htt#002},
  tags = {bibliography, annotated bibliography},
  researchr = {https://researchr.org/publication/Corradini01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {51},
  pages = {1-64},
}