@InProceedings{BaaderPenaloza-Tableaux-07,
  author =       {Franz Baader and Rafael Pe{\~n}aloza},
  title =        {Axiom Pinpointing in General Tableaux},
  booktitle =    {Proceedings of the 16th International Conference on 
  Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2007}},
  address =      {Aix-en-Provence, France},
  year =         2007,
  volume =       {4548},
  pages =        {11--27},
  editor =       {N. Olivetti},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  springer =     {yes}
}