“Some applications of Gr¨obner bases in homological algebra” (2009) São Paulo Journal of Mathematical Sciences, 3(1), p. 25–59. doi:10.11606/issn.2316-9028.v3i1p25-59.