YIH-KUEN TSAYWang, B.-Y.B.-Y.Wang2018-09-102018-09-102009http://www.scopus.com/inward/record.url?eid=2-s2.0-68649108146&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/347393[SDGs]SDG4Automated compositional reasoning of intuitionistically closed regular propertiesjournal article10.1142/S0129054109006851