On the computational interpretation of negation (2000)

by Michel Parigot
Venue:In Computer Science Logic, number 1862 in Lecture Notes in Computer Science