Reasoning with Inductively Defined Relations in the HOL Theorem Prover
Juanito Camilleri and Tom Melham
Institution
Computer Laboratory‚ University of Cambridge
Month
August
Number
265
Year
1992
Juanito Camilleri and Tom Melham