Automating Recursive Type Definitions in Higher Order Logic (Computer Laboratory‚ University of Cambridge, 1988)

(untitled) - Melham, T