K-Tree: An Efficient Structure for Verification and Inference in Rule-Based Systems. - T. Rajkumar; H. Mohanty (IEA/AIE, 1996)