Certificates of Non-Membership for Classes of Read-Once Functions

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2014-1032