@misc{indiciaed4b68f680326,
  title = {A Generic Framework for Implicate Generation Modulo Theories},
  author = {Mnacho Echenim and Nicolas Peltier and Yanis Sellami},
  year = {2018},
  url = {https://arxiv.org/abs/1807.04557},
  note = {Source identifier: 1807.04557}
}