1. An algorithm for the organization of information;Adel'son-Vel'skii;Soviet Math. Dokl.,1962
2. The Complexity of Theorem-Proving Procedures;Cook,1971
3. A. Demers, private communication.
4. Worst-Case Analysis of Memory Allocation Algorithms;Garey,1972