林照田Fu, D.D.FuLin, Csao-TienCsao-TienLin2009-01-232018-05-292009-01-232018-05-291994-01http://ntur.lib.ntu.edu.tw//handle/246246/113883en-USConfirmation Logic and Its Applicationsconference paper