@inproceedings{Horrocks99b,
  title = "{DLP} and {FaCT}",
  author = "P. F. Patel-Schneider and I. Horrocks",
  year = "1999",
  pages = "19--23",
  url = "download/1999/Horrocks99b.pdf",
}