@techreport{WittSenf1994,
  type      = {Working Paper},
  author    = {Andreas Witt and Thomas Senf},
  title     = {Formalisierung von Kontext und sprachlichem Wissen mit Prioritisierter Circumscription (VM-Memo 55)},
  series    = {Verbmobil},
  institution = {Universit{\"a}t Bielefeld},
  address   = {Bielefeld},
  url       = {https://nbn-resolving.org/urn:nbn:de:bsz:mh39-75674},
  year      = {1994},
  language  = {de}
}