Projections of Logic Programs using Symbol Mappings.

Ashish Jain

Browse the full ICLP paper archive.