「归结原理之外：项重写系统（Term Rewriting System）」编辑历史