Logic Programming with Recurrence Domains.

Hong Chen, Jieh Hsiang

Browse the full ICALP paper archive.