Takashi Horiyama, Toshihide Ibaraki. Ordered Binary Decision Diagrams as Knowledge-Bases. In Alok Aggarwal, C. Pandu Rangan, editors, Algorithms and Computation, 10th International Symposium, ISAAC 99, Chennai, India, December 16-18, 1999, Proceedings. Volume 1741 of Lecture Notes in Computer Science, pages 83-92, Springer, 1999. [doi]
Abstract is missing.