@InProceedings{SilvaEtAl10-ECAI,
  author =       { Joao Marques-Silva and Mikol\'a\v{s} Janota and In\^es Lynce }, 
  title =        { On Computing Backbones of Propositional Theories },
  booktitle =    { Proceeding of the 19th European Conference on Artificial Intelligence (ECAI)},
  year =         2010,
  publisher =    { IOS Press }
}