=ADD=
=author=
Mutzel; Petra
=title=
An Alternative Method to Crossing Minimization on Hierarchical Graphs
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-008
=month=
3
=reftype=
11
=location=
2
=owner=
2
=source=
3

=ADD=
=author=
Bachmair; Leo + Ganzinger; Harald
=title=
A Theory of Resolution
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-005
=month=
4
=reftype=
11
=source=
3
=location=
2
=owner=
2

=ADD=
=author=
Brandenburg; Franz J. + Juenger; Michael + Mutzer; Petra
=title=
Algorithmen zum automatischen Zeichen von Graphen
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-007
=month=
3
=reftype=
11
=source=
3
=location=
2
=owner=
2

=ADD=
=author=
Vorobyov; Sergei
=title=
Third Order Matching in $\lambda \rightarrow$ - {\em Curry} is Undecidable
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-006
=month=
5
=reftype=
11
=source=
3
=location=
2
=owner=
2

=ADD=
=author=
Brodal; Gerth S. + Traeff; Jesper L. + Zaroliagis; Christos D.
=title=
A Parallel Priority Queue with Constant Time Operations
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-011
=month=
5
=reftype=
11
=source=
3
=location=
2
=owner=
2

=ADD=
=author=
Garg; Naaven + Manss; Christian
=title=
Evaluating a 2-approximation algorithm or edge-separators in planar graphs 
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-010
=month=
3
=reftype=
11
=source=
3
=location=
2
=owner=
2

=ADD=
=author=
Albers; Susanne
=title=
Better Bounds for Online Scheduling
=year=
1997
=institution=
Max-Plank-Institut fuer Informatik
=number=
MPI-I-97-1-009
=month=
3
=reftype=
11
=source=
3
=location=
2
=owner=
2