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