@InProceedings{Hladik-DL-2000,
  author =       {Jan Hladik},
  title =        {Implementing the n-ary Description Logic {GF1-}},
  booktitle =    {Proceedings of the International Workshop in Description Logics 2000 {(DL2000)}},
  address =      {Aachen, Germany},
  year =         2000
}