=ADD=
=author=
Fabri; Andreas + Gieseman; Geert-Jan + Kettner; Lutz + Schirra; Stefan + Schoenherr; Sven
=title=
On the Design of CGAL, the Computational Geometry Algorithms Library
=year=
1998
=institution=
Max-Planck Institut
=number=
007
=month=
02
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Vorobyov; Sergej
=title=
Satisfiability of Functional+Record Subtype Constraints is NP-Hard 
=year=
1998
=institution=
Max-Planck Institut
=number=
004
=month=
01
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Juergen; Michael + Leipert; Sebastian + Mutzel; Petra
=title=
A Note on Computing a Maximal Planar Subgraph using {PQ}- Trees
=year=
1998
=institution=
Max-Planck Institut
=number=
008
=month=
03
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Frigioni; Daniele + Marchetti-Spaccamela; Alberto + Nanni; Umberto
=title=
Fully Dynamic Shortest Paths and Negative Cycle Detection on Digraphs with Arbitrary Arc Weights
=year=
1998
=institution=
Max-Planck Institut
=number=
009
=month=
03
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Solis-Oba; Roberto
=title=
2-Approximation Algorithm for Finding a Spanning Tree With Maximum Number of Leaves
=year=
1998
=institution=
Max-Planck Institut
=number=
010
=month=
04
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Schmidt; Renate A.
=title=
{E}-Unification for Subsystems of {S4}
=year=
1998
=institution=
Max-Planck Institut
=number=
003
=month=
04
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Veanes; Margus
=title=
The Relation Between Second-Order Unification and Simultaneous Rigid {E}-Unification
=year=
1998
=institution=
Max-Planck Institut
=number=
005
=month=
02
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Vorobyov; Sergei
=title=
The Most Nonelementary Theory (A Direct Lower Bound Proof)
=year=
1998
=institution=
Max-Planck Institut
=number=
007
=month=
04
=location=
2
=owner=
2
=reftype=
11
=source=
3