=ADD=
=author=
Foesmeier; Ulrich + Kaufmann; Michael
=title=
On Exact Solutions for the Rectilinear Steiner Problem: 
Part I: Theoretical Results
=year=
1996
=institution=
Universitaet Tuebingen
=number=
O9
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Thiemann; Peter
=title=
A Safety Analysis for Functional Languages
=year=
1992
=institution=
Universitaet Tuebingen
=number=
13
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Lauer; Harald
=title=
A Dynamically Extensible Platform for Interactive Graph Algorithms
=year=
1997
=institution=
Universitaet Tuebingen
=number=
O4
=location=
2
=owner=
2
=reftype=
11
=source=
3


=ADD=
=author=
Geser; Alfons
=title=
Decidability of Termination in a Large Class of One-rule String Rewriting Systems 
=year=
1997
=institution=
Universitaet Tuebingen
=number=
11
=location=
2
=owner=
2
=reftype=
11
=source=
3