Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Vilém Vychodil. Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE T. Fuzzy Systems, 30(12):5534-5543, 2022. [doi]
@article{CorderoEMV22,
title = {Parameterized Simplification Logic: Reasoning With Implications in an Automated Way},
author = {Pablo Cordero and Manuel Enciso and Ángel Mora 0001 and Vilém Vychodil},
year = {2022},
doi = {10.1109/TFUZZ.2022.3179847},
url = {https://doi.org/10.1109/TFUZZ.2022.3179847},
researchr = {https://researchr.org/publication/CorderoEMV22},
cites = {0},
citedby = {0},
journal = {IEEE T. Fuzzy Systems},
volume = {30},
number = {12},
pages = {5534-5543},
}