Authors: T.Mellouli

Citation: T.mellouli, A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic, Journal of automated reasoning , 12(1), 1994, pp. 47-88