An Approach to Abductive Reasoning in Equational Logic

Echenim et al. "An Approach to Abductive Reasoning in Equational Logic." International Joint Conference on Artificial Intelligence, 2013.

[Echenim et al. "An Approach to Abductive Reasoning in Equational Logic." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/echenim2013ijcai-approach/)

@inproceedings{echenim2013ijcai-approach,
  title     = {{An Approach to Abductive Reasoning in Equational Logic}},
  author    = {Echenim, Mnacho and Peltier, Nicolas and Tourret, Sophie},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {531-537},
  url       = {https://mlanthology.org/ijcai/2013/echenim2013ijcai-approach/}
}