@mastersthesis{Horrocks95a,
  title = "A Comparison of Two Terminological Knowledge Representation Systems",
  author = "I. Horrocks",
  year = "1995",
  school = "University of Manchester",
  url = "http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/1995/Horrocks95a.pdf",
}