没有找到引用A logic-algebraic approach to graded inclusion的文章。