Composing Normal Programs with Function Symbols.

Sabrina Baselice, Piero A. Bonatti

Browse the full ICLP paper archive.