A Production System for Automatic Deduction

Open in new window