Dusan Guller. A DPLL Procedure for the Propositional Product Logic. In Agostinho C. Rosa, António Dourado, Kurosh Madani Correia, Joaquim Filipe, Janusz Kacprzyk, editors, IJCCI 2013 - Proceedings of the 5th International Joint Conference on Computational Intelligence, Vilamoura, Algarve, Portugal, 20-22 September, 2013. pages 213-224, SciTePress, 2013. [doi]
Abstract is missing.