@misc{indiciaec6cf345d2d34,
  title = {Tableaux Modulo Theories Using Superdeduction},
  author = {Mélanie Jacquel and Karim Berkani and David Delahaye and Catherine Dubois},
  year = {2015},
  doi = {10.1007/978-3-642-31365-3\_26},
  url = {https://arxiv.org/abs/1501.01301},
  note = {Source identifier: 1501.01301}
}