Authors: Baaz, M Veith, H

Citation: M. Baaz et H. Veith, Interpolation in fuzzy logic, ARCH MATH L, 38(7), 1999, pp. 461-489

Authors: Gottlob, G Leone, N Veith, H

Citation: G. Gottlob et al., Succinctness as a source of complexity in logical formalisms, ANN PUR APP, 97(1-3), 1999, pp. 231-260