APA (7th ed.) Citation

Takayama, Y. (1987). Writing program as QJ proof and compiling into PROLOG program.

Chicago Style (17th ed.) Citation

Takayama, Yukihide. Writing Program as QJ Proof and Compiling into PROLOG Program. Tokyo, Japan, 1987.

MLA (9th ed.) Citation

Takayama, Yukihide. Writing Program as QJ Proof and Compiling into PROLOG Program. 1987.

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