Talk:Abstract rewriting system/to do


 * discuss rewriting modulo an equivalence relation