APA (7th ed.) Citation

Melham, T. (1996). Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus.

Chicago Style (17th ed.) Citation

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

MLA (9th ed.) Citation

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

Warning: These citations may not always be 100% accurate.