TY  - RPRT
TI  - Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
AU  - Matthias Baaz
AU  - Agata Ciabattoni
AU  - Christian G Fermüller
PY  - 2012
DO  - 10.2168/lmcs-8(1:20)2012
UR  - https://arxiv.org/abs/1202.6352
ID  - 1202.6352
ER  -