1. Bouverot, A.: Comparaison entre la transformation et l’extraction de programmes logiques. PhD thesis, Université Paris VII, en français (1991)
2. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, New York (1979)
3. Lecture Notes in Computer Science;A. Bundy,1988
4. Bundy, A.: The Automation of Proof by Mathematical Induction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, Elseviers Science Publishers B. V, North-Holland (2000)
5. Fribourg, L.: Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. In: Warren, D.H.D., Szeredi, P. (eds.) 7th International Conference on Logic Programming, Jerusalem, pp. 685–699. MIT Press, Cambridge (1990)