@techreport{LAHS02,
  title = "Keys, Nominals, and Concrete Domains",
  author = "Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler",
  year = "2002",
  institution = "Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden",
  number = "02-04",
  url = "download/2002/LAHS02.pdf",
}