Principles of Superdeduction.

Paul Brauner, Clment Houtmann, Claude Kirchner

Browse the full LICS paper archive.