Dusan Guller. A DPLL Procedure for the Propositional Gödel Logic. In Joaquim Filipe, Janusz Kacprzyk, editors, ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2. pages 31-42, SciTePress, 2010.
@inproceedings{Guller10, title = {A DPLL Procedure for the Propositional Gödel Logic}, author = {Dusan Guller}, year = {2010}, tags = {logic}, researchr = {https://researchr.org/publication/Guller10}, cites = {0}, citedby = {0}, pages = {31-42}, booktitle = {ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2}, editor = {Joaquim Filipe and Janusz Kacprzyk}, publisher = {SciTePress}, isbn = {978-989-8425-32-4}, }