Sung, Li-MayLi-MaySungSung, LihsinLihsinSungYeh, Yu-tingYu-tingYeh2010-10-222018-06-282010-10-222018-06-282006http://ntur.lib.ntu.edu.tw//handle/246246/218350en-USThe Existential Predicate yau in Kavalanconference paper