An efficient query learning algorithm for zero-suppressed binary decision diagrams. - Hayato Mizumoto; Shota Todoroki; Diptarama; Ryo Yoshinaka; Ayumi Shinohara (ALT, 2017)