Learning Orthogonal F-Horn Formulas. - Akira Miyashiro; Eiji Takimoto; Yoshifumi Sakai; Akira Maruoka (ALT, 1995)

Learning Orthogonal F-Horn Formulas. - Eiji Takimoto; Akira Miyashiro; Akira Maruoka; Yoshifumi Sakai (Theor. Comput. Sci., 1997)