A decidable algorithm for inclusion of quasi-algebraic varieties

• 拟代数簇包含关系的判定算法