A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic

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
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
1
Year of publication
1994
Pages
47 - 88
Database
ACNP
SICI code