Abduction refreshment deduction and constraint maintenance deduction

• 溯因更新推导和约束维护推导