The Applicability of Logic Program Analysis and Transformation to Theorem Proving.

D. Andre de Waal, John P. Gallagher

Browse the full CADE paper archive.