Subtractive logic (2001)

by Tristan Crolard
Venue:Theoretical Computer Science