Inclusion-exclusion for k-CNF formulas. - Kazuyuki Amano; Kazuo Iwama; Akira Maruoka; Kenshi Matsuo; Akihiro Matsuura (Inf. Process. Lett., 2003)

Relationships between Horn Formulas and XOR-MDNF Formulas. - Kenshi Matsuo; Tetsuya Koyama; Eiji Takimoto; Akira Maruoka (IEICE Trans. Inf. Syst., 2004)