Return to Article Details Algebraic Approach to Logical Inference Implementation Download Download PDF