John P. Cook

Bibliography

Cook, John P. and Gallagher, John P. 1994. “A Transformation System for Definite Programs Based on Termination Analysis.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 51–68. Berlin: Springer.