Paper  bibtex   

@PhdThesis{kah97a,
  Author         = {Reinhard Kahle},
  Title          = {Applikative Theorien und Frege-Strukturen},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {1997/kah97a.ps},
  year           = 1997
}