T. Rajkumar, H. Mohanty. K-Tree: An Efficient Structure for Verification and Inference in Rule-Based Systems. In Takushi Tanaka, Setsuo Ohsuga, Moonis Ali, editors, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Proceedings of the Ninth International Conference, Fukuoka, Japan, June 4-7, 1996. pages 787, Gordon and Breach Science Publishers, 1996.
Abstract is missing.