Homological Computations for Term Rewriting Systems (2016) [pdf]math.univ-lyon1.fr4 points·aaronchall··0 commentsOpen articleSaveView on HN