Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions.

Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya

Browse the full DATE paper archive.