@mastersthesis{Gaul1994DEGRALOG,
  Author = {Thilo Gaul},
  Title = {DEGRALOG - Eine deklarative grafische Logik},
  Month = sep,
  Year = {1994},
  School = {Universit{"a}t Karlsruhe (TH)}
}