APA (7th ed.) Citation

Takahashi, K., & Kanamori, T. (1986). On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic.

Chicago Style (17th ed.) Citation

Takahashi, Kazuko, and Tadashi Kanamori. On Parallel Programming Methodology in GHC: Experience in Programming of a Proof Procedure of Temporal Logic. Tokyo, Japan, 1986.

MLA (9th ed.) Citation

Takahashi, Kazuko, and Tadashi Kanamori. On Parallel Programming Methodology in GHC: Experience in Programming of a Proof Procedure of Temporal Logic. 1986.