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/}
}