APA (7th ed.) Citation

Basin, D., & Kaufmann, M. (1991). The Boyer-Moore prover and NUPRL: An experimental comparison.

Chicago Style (17th ed.) Citation

Basin, David, and Matt Kaufmann. The Boyer-Moore Prover and NUPRL: An Experimental Comparison. Edinburgh, 1991.

MLA (9th ed.) Citation

Basin, David, and Matt Kaufmann. The Boyer-Moore Prover and NUPRL: An Experimental Comparison. 1991.