T. Eiter, T. Ibaraki, K. Makino: "Recognition and Dualization of Disguised Bidual Horn Functions"; Information Processing Letters, 82 (2002), 6; 283 - 291.