CERES in Many-Valued Logics.

Matthias Baaz, Alexander Leitsch

Browse the full LPAR paper archive.