Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alessandro Armando, Alan Smaill, and Ian Green. Automatic synthesis of recursive programs: The proof-planning paradigm. Automated Software Engineering, 6(4):329–356, 1999.
2. Richard Bird. Introduction to Functional Programming Using Haskell. Prentice Hall Europe, 1998. Second Edition.
3. Richard S. Bird and Philip Wadler. Introduction to Functional Programming. Prentice-Hall, 1988.
4. A. Bundy, A. Stevens, F. van Harmelen, A. Ireland, and A. Smaill. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62:185–253, 1993. Also available from Edinburgh as DAI Research Paper No. 567.
5. A. Bundy, F. van Harmelen, C. Horn, and A. Smaill. The Oyster-Clam system. In M. E. Stickel, editor, Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Vol. 449, pages 647–648. Springer-Verlag, 1990. Also available from Edinburgh as DAI Research Paper No. 507.