CINTULA, P., DIACONESCU, D., METCALFE, G. Skolemization and Herbrand theorems for lattice-valued logics. Theoretical Computer Science. 2019, 768(10 May), 54-75. ISSN 0304-3975. E-ISSN 1879-2294. Available: https://doi.org/10.1016/j.tcs.2019.02.007.