Uniwersytet Warszawski. Katedra Lingwistyki Formalnej