Camilleri, J., & Melham, T. (1992). Reasoning with Inductively Defined Relations in the HOL Theorem Prover. Computer Laboratory‚ University of Cambridge.
Chicago Style (17th ed.) CitationCamilleri, J., and T. Melham. Reasoning with Inductively Defined Relations in the HOL Theorem Prover. Computer Laboratory‚ University of Cambridge, 1992.
MLA (9th ed.) CitationCamilleri, J., and T. Melham. Reasoning with Inductively Defined Relations in the HOL Theorem Prover. Computer Laboratory‚ University of Cambridge, 1992.
Warning: These citations may not always be 100% accurate.