%0 Journal Article %1 journals/tfs/CorderoEMV22 %A Cordero, Pablo %A Enciso, Manuel %A Mora, Ángel %A Vychodil, Vilém %D 2022 %J IEEE Trans. Fuzzy Syst. %K dblp %N 12 %P 5534-5543 %T Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. %U http://dblp.uni-trier.de/db/journals/tfs/tfs30.html#CorderoEMV22 %V 30

@article{journals/tfs/CorderoEMV22, added-at = {2022-12-25T00:00:00.000+0100}, author = {Cordero, Pablo and Enciso, Manuel and Mora, Ángel and Vychodil, Vilém}, biburl = {https://www.bibsonomy.org/bibtex/24c81c4e3d0542d0ddaa0f7e25178de36/dblp}, ee = {https://doi.org/10.1109/TFUZZ.2022.3179847}, interhash = {0502eae143c32b6881f7e75f201aaeff}, intrahash = {4c81c4e3d0542d0ddaa0f7e25178de36}, journal = {IEEE Trans. Fuzzy Syst.}, keywords = {dblp}, number = 12, pages = {5534-5543}, timestamp = {2024-04-09T05:12:09.000+0200}, title = {Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.}, url = {http://dblp.uni-trier.de/db/journals/tfs/tfs30.html#CorderoEMV22}, volume = 30, year = 2022 }