Minami, T. (1986). A theorem prover based on connection graph and its implementation by Prol.
Chicago Style (17th ed.) CitationMinami, Toshiro. A Theorem Prover Based on Connection Graph and Its Implementation by Prol. Tokyo, Japan, 1986.
MLA (9th ed.) CitationMinami, Toshiro. A Theorem Prover Based on Connection Graph and Its Implementation by Prol. 1986.
Warning: These citations may not always be 100% accurate.