k ] = var[k + 1 (1991)

by Dspace
Venue:Proceedings of the 6th IEEE Symposium on Structure in Complexity Theory