@InProceedings{BaaSun-KRMED-08,
  author = 	{Franz Baader and Boontawee Suntisrivaraporn},
  title = 	{Debugging {SNOMED CT} Using Axiom Pinpointing in the Description Logic $\mathcal{EL}^+$},
  booktitle = 	{Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED},
  year = 	{2008},
  series = {CEUR-WS},
  volume = {410}
}