A Rational Reconstruction and Extension of Recursion Analysis (1992)

by Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
Venue:Proceedings of the Eleventh International Joint Conference on Artificial Intelligence