David P. Dobkin;J. Ian Munro
-;-
Space-time tradeoffs and first order problems in a model of programs
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing