@inproceedings{HoRe96,
  title = "Using a Description Logic with Concept Inclusions",
  author = "Ian Horrocks and Alan Rector",
  year = "1996",
  annote = "AKA: Horrocks96b",
  booktitle = "Proc.\ of the 1996 Description Logic Workshop (DL'96)",
  number = "WS-96-05",
  pages = "132--135",
  publisher = "{AAAI} Press/The {MIT} Press",
  series = "AAAI Technical Report",
  url = "download/1996/HoRe96.pdf",
}