Prime Implicate Generation in Equational Logic (extended Abstract)

Cite

Text

Echenim et al. "Prime Implicate Generation in Equational Logic (extended Abstract)." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/790

Markdown

[Echenim et al. "Prime Implicate Generation in Equational Logic (extended Abstract)." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/echenim2018ijcai-prime/) doi:10.24963/IJCAI.2018/790

BibTeX

@inproceedings{echenim2018ijcai-prime,
  title     = {{Prime Implicate Generation in Equational Logic (extended Abstract)}},
  author    = {Echenim, Mnacho and Peltier, Nicolas and Tourret, Sophie},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {5588-5592},
  doi       = {10.24963/IJCAI.2018/790},
  url       = {https://mlanthology.org/ijcai/2018/echenim2018ijcai-prime/}
}