Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques