@phdthesis{RISC4121,
author = {V. Sofronie-Stokkermans},
title = {{Fibered Structures and Applications to Automated Proving in Certain Classes of Finitely-Valued Logics}},
language = {english},
year = {1997},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}