Thorup, M.: Faster deterministic sorting and priority queues in linear space. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.

Vorobyov, S.: Third-order matching in $\lambda\rightarrow$-Curry is undecidable. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 S.

Vorobyov, S.; Voronkov, A.: Complexity of nonrecursive logic programs with complex values. Max-Planck-Institut für Informatik, Saarbrücken (1997), 46 S.

Wang, Y.: Bicriteria job sequencing with release dates. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 S.