Xianchun Zou, Heng Zhang. An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 128-131, IEEE Computer Society, 2008. [doi]
Abstract is missing.