APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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