@inproceedings{KazSatZol:07:NonSimple,
  title = "How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions Revisited",
  author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin",
  year = "2007",
  booktitle = "LPAR",
  pages = "303-317",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4790",
  doi = "10.1007/978-3-540-75560-9_23",
}