机译:Z的一个完整完善规则
机译:对结构函数g(1,2)(ep)(x,Q(2)),F-1,2,L(ep)的完整O(alpha(2)(S))非单重味矫正(x,Q(2)),F1,2,3v((v)over-bar)(x,Q(2))和相关的求和规则
机译:完整的
机译:恶魔规范的单一完整细化规则
机译:使用基于规则的结构评估基于规则的系统测试的完整性:Loci和Quick Test的案例研究。
机译:在存在简单关系规则的情况下基于规则的泛化和峰移动
机译:煤代数细化的单个完整关系规则