共 50 条
- [45] Confluence Modulo Equivalence with Invariants in Constraint Handling Rules FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2018, 2018, 10818 : 116 - 131
- [46] Invariants for Equivalence of Central Simple G-algebras Acta Applicandae Mathematicae, 2009, 108 : 57 - 71