Milind Gandhe, G. Venkatesh. Improving Prolog Performance by Inductive Proof Generalizations. In S. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu, editors, Knowledge Based Computer Systems, International Conference KBCS 89, Bombay, India, December 11-13, 1989, Proceedings. Volume 444 of Lecture Notes in Computer Science, pages 243-253, Springer, 1989.
Abstract is missing.