Madden, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Madden, P., & Green, I. (1995). A General Technique for Automatic Optimization by Proof Planning. In J. Calmet, & J. A. Campbell (Eds.), Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2) (pp. 80-96). Berlin, Germany: Springer.