Constructive negation using typed existence properties (1490)

by J G Cleary, L Lu
Venue:Lecture Notes in Computer Science