Automating algebraic proofs in algebraic logic

Hsiang, J.J.HsiangWasilewska, A.A.WasilewskaJIEH HSIANG2018-09-102018-09-101996http://www.scopus.com/inward/record.url?eid=2-s2.0-0030282706&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/323348Automating algebraic proofs in algebraic logicjournal article