@InProceedings{Hladik-DL-2005,
  author = 	 {J. Hladik},
  title = 	 {A Generator for Description Logic Formulas},
  booktitle = 	 {Proceedings of DL 2005},
  year =	 2005,
  editor =	 {I. Horrocks and U. Sattler and F. Wolter},
  publisher =	 {CEUR-WS},
  note =	 {Available from \texttt{ceur-ws.org}}
}