Meyer, Ulrich Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Edelkamp, S., & Meyer, U. (2001). Theory and Practice of Time-space Trade-offs in Memory Limited Search. In F. Baader, G. Brewka, & T. Eiter (Eds.), KI 2001: Advances in Artificial Intelligence (pp. 169-184). Berlin: Springer.