Natural Deduction In Ai