Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil. Parameterized simplification logic I: reasoning with implications and classes of closure operators. Int. J. General Systems, 49(7):724-746, 2020. [doi]
@article{CorderoEMV20,
title = {Parameterized simplification logic I: reasoning with implications and classes of closure operators},
author = {Pablo Cordero and Manuel Enciso and Angel Mora 0001 and Vilém Vychodil},
year = {2020},
doi = {10.1080/03081079.2020.1831484},
url = {https://doi.org/10.1080/03081079.2020.1831484},
researchr = {https://researchr.org/publication/CorderoEMV20},
cites = {0},
citedby = {0},
journal = {Int. J. General Systems},
volume = {49},
number = {7},
pages = {724-746},
}