How Automated Deduction Management Improves AR Efficiency