@conference{KroMH-LPNMR2013,
  title = "Concrete Results on Abstract Rules",
  author = "Markus Krötzsch and Despoina Magka and Ian Horrocks",
  year = "2013",
  booktitle = "Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning",
  location = "Corunna",
  month = "September",
}