Цитирование 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.

Цитирование MLA (9-е изд.)

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.