Matthias Baaz, Christian G. Fermüller, Richard Zach. Elimination of Cuts in First-order Finite-valued Logics. Elektronische Informationsverarbeitung und Kybernetik, 29(6):333-355, 1993.
@article{BaazFZ93:1,
title = {Elimination of Cuts in First-order Finite-valued Logics},
author = {Matthias Baaz and Christian G. Fermüller and Richard Zach},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/BaazFZ93%3A1},
cites = {0},
citedby = {0},
journal = {Elektronische Informationsverarbeitung und Kybernetik},
volume = {29},
number = {6},
pages = {333-355},
}