Publication details

@PHDTHESIS{phd-treinen,
  title = {Modulare Datentypdefinitionen und Ihre Beziehungen                 zur Logik erster Stufe},
  author = {Ralf Treinen},
  year = {1991},
  month = {dec},
  school = {{Universität des Saarlandes}},
  note = {"In german"},
}