@mastersthesis{MagkaMScDiss,
  title = "Consequence-based Datatype Reasoning in EL: Identifying the Tractable Fragments",
  author = "Despoina Magka",
  year = "2009",
  affiliation = "Oxford University Computing Laboratory",
}