APA (7th ed.) Citation

Harrison, L., & Ammarguellat, Z. (1990). A comparison of automatic versus manual parallelization of the Boyer-Moore theorem prover.

Chicago Style (17th ed.) Citation

Harrison, Luddy, and Zahira Ammarguellat. A Comparison of Automatic Versus Manual Parallelization of the Boyer-Moore Theorem Prover. Urbana, Ill, 1990.

MLA (9th ed.) Citation

Harrison, Luddy, and Zahira Ammarguellat. A Comparison of Automatic Versus Manual Parallelization of the Boyer-Moore Theorem Prover. 1990.