C.: Principles of superdeduction (2000)

by P Brauner, C Houtmann, Kirchner
Venue:Theoretical Computer Science