Hsiang J.Wasilewska A.2010-12-202018-07-052010-12-202018-07-051996http://ntur.lib.ntu.edu.tw//handle/246246/221001en-USAutomating Algebraic Proofs in Algebraic Logicjournal article