Automating Algebraic Proofs in Algebraic Logic
Resource
Fundamenta Informaticae, Vol.28, No.1-2, pp.129-140
Journal
Fundamenta Informaticae
Journal Volume
Vol.28
Journal Issue
No.1-2
Pages
129-140
Date Issued
1996
Date
1996
Author(s)
Hsiang J.
Wasilewska A.
Type
journal article