@article{HeuermannStolleSchiek1995,
  author    = {Heuermann, Holger and Stolle, Reinhard and Schiek, Burkhard},
  title     = {Auswertemethoden zur Praezisions-Entfernungsmessung mit FMCW-Systemen und deren Anwendung im Mikrowellenbereich},
  series = {tm - Technisches Messen. 62. 1995 (1995), H. 2},
  journal   = {tm - Technisches Messen. 62. 1995 (1995), H. 2},
  pages     = {66 -- 73},
  year      = {1995},
  language  = {de}
}
@article{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {A verified implementation of narrowing},
  series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  journal   = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-60359-X},
  pages     = {63 -- 80},
  year      = {1995},
  language  = {en}
}