@inproceedings{Horrocks99e,
  title = "Performance of {DLP} on Random Modal Formulae",
  author = "I. Horrocks and P. F. Patel-Schneider",
  year = "1999",
  booktitle = "Proceedings of the International Workshop on Description Logics (DL'99)",
  editor = "P. Lambrix and A. Borgida and M. Lenzerini and R. M{\"o}ller and P. Patel-Schneider",
  key = "Proceedings of DL'99",
  pages = "120--124",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1999/Horrocks99e.pdf",
}