CERES in many-valued logics (2005)

by Matthias Baaz, Alexander Leitsch
Venue:In Proceedings of LPAR 2004