Selected papers that cite this one
- Krzysztof R. Apt and Dino Pedreschi. Reasoning about termination of pure prolog programs. Information and Computation, 106(1):109-157, September 1993.
- Ravi Krishnamurthy, Raghu Ramakrishnan, and Oded Shmueli. A framework for testing safety and effective computability. Journal of Computer and System Sciences, 52(1):100-124, February 1996.
- M. R. K. Krishna Rao. A framework for incremental learning of logic programs. Theoretical Computer Science, 185(1):193-213, 10 October 1997.