Improving Logic Programs by Adding Functions.

Michael Hanus

Browse the full LOPSTR paper archive.