APA (7th ed.) Citation

Sakai, K. (1988). Toward mechanization of mathematics.

Chicago Style (17th ed.) Citation

Sakai, Ko. Toward Mechanization of Mathematics. Tokyo, Japan, 1988.

MLA (9th ed.) Citation

Sakai, Ko. Toward Mechanization of Mathematics. 1988.