A Notion of Map between Logic Programs.

A. John Power, Leon Sterling

Browse the full ICLP paper archive.