L. Catach (1991): TABLEAUX: A General Theorem Prover for Modal Logics
Title:
TABLEAUX: A General Theorem Prover for Modal Logics
Author(s):
L. Catach
Year:
1991
Journal:
Journal of Automated Reasoning
Pages:
489-510
Concepts