Learning Orthogonal <i>F</i>-Horn Formulas.

Akira Miyashiro Eiji Takimoto Yoshifumi Sakai Akira Maruoka Learning Orthogonal <i>F</i>-Horn Formulas. 110-122 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#MiyashiroTSM95