Inductive and Deductive Control of Logic Programs.

Richard Helm

Browse the full ICLP paper archive.