%0 Book Section %A Baaz, Matthias %A Ciabattoni, Agata %A Zach, Richard %B Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000 %D 2000 %E Voronkov, Andrei %E Parigot, Michel %I Springer %P 240-256 %T Quantified Propositional Gödel Logics