Some applications of Gr¨obner bases in homological algebra. São Paulo J. Math. Sci. 2009;3(1):25-59. doi:10.11606/issn.2316-9028.v3i1p25-59