On uniquely represented data structures (extended abstract (1977)

by L Snyder
Venue:18th Annual Symposium on Foundations of Computer Science, Providence