Horn Functions with a Single Two-Negated Term Authors Naoki KAWAMURA Shigeki IWATA Downloads Requires Subscription PDF Published 2005-11-01 Issue Vol. E88-A, No. 11 November 2005 Section Letters