@MastersThesis{Hladik-Diplom-01,
  author = 	 {J. Hladik},
  title = 	 {Implementierung eines Entscheidungsverfahrens f{{\"u}}r das Bewachte Fragment der Pr{{\"a}}dikatenlogik},
  school = 	 {RWTH Aachen},
  year = 	 2001,
  type = {Diploma thesis},
  address = {Germany}
}