JIEH HSIANG2018-09-102018-09-101991http://ntur.lib.ntu.edu.tw/handle/246246/118650http://scholars.lib.ntu.edu.tw/handle/123456789/293196Logic Programming with Recurrence Domainsconference paper10.1007/3-540-54233-7_122